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 ...783 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 ...134 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 ...437 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 ...294 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 ...191 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 ...437 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 ...532 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 ...477 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 ...972 Hits Rating