Italiano (it)transport systems
-
Execution of TILCO Specifications Technical ReportFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...932 Hits Rating
-
C-TILCO theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...245 Hits Rating
-
TILCOX an Extension of TILCO Temporal LogicFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...569 Hits Rating
-
TILCO-X theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...189 Hits Rating
-
Detection of Critical Number of People in Interlocked Doors for Security Access Control by Exploiting a Microwave Transceiver-ArrayAbstract Counting the number of people is something many security application focus on, when dealing with controlling accesses in restricted areas, as it occurs with banks, airports, railway ...448 Hits Rating
-
Smart City data via LOD/LOG Service (Abstract) http://log.disit.orgWhy: Create an ontology that allows to combine all data provided by the city of Florence and the Tuscan region. Problems: data have different formats, they must be reconciled in order to be ...342 Hits Rating
-
Smart City data via LOD/LOG Service (abstract)Why: Create an ontology that allows to combine all data provided by the city of Florence and the Tuscan region. Problems: data have different formats, they must be reconciled in order to be ...709 Hits Rating
-
Smart City data via LOD/LOG Service (slides)Why: Create an ontology that allows to combine all data provided by the city of Florence and the Tuscan region. Problems: data have different formats, they must be reconciled in order to be ...875 Hits Rating
-
TRACEIT project: Activities the specific modeling and testing of a system of automatic guided according to the standard CBTCthe research activities carried out at the DISIT LAB of Department of Engineering? Information ( DINFO ) He returned to Internal project TRACE- IT in collaboration with ECM S.p.a. That began to ...679 Hits Rating
-
RAISSS project: Report of a comparative analysis of the Interlocking SystemsSignaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In order to ...1288 Hits Rating