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 ...778 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 ...132 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 ...431 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 ...99 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 ...290 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 ...188 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 ...429 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 ...527 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 ...472 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 ...955 Hits Rating