English (en-US)railways systems
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml190 Accessi Voto
-
Temporal Logics for Real-Time System Specificationreal time systems specification, formal methods, tilco, uml The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and ...209 Accessi Voto
-
Tools for Specifying Real-Time Systemsreal time systems specification, formal methods, tilco, uml137 Accessi Voto
-
Progetto RAISSS: Relazione di analisi comparativa dei sistemi di smistamentoSignaling 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 ...849 Accessi Voto
-
RAISSS project: Methods, notation and tools for modeling Command and Control 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 ...226 Accessi Voto
-
Progetto RAISSS: Modello Generalizzato del sistema di interlocking: approaccio ontologicoMetodi, notazioni e strumenti per la modellazione di Sistemi di Comando e Controllo: Modelli, Trend Rapporto di analisi comparata di sistemi di interlocking: Problematiche e Confronto Sistemi ...200 Accessi Voto
-
Progetto RAISSS: Contributo DISIT lab, sistemi di interlocking vs ontologieMetodi, notazioni e strumenti per la modellazione di Sistemi di Comando e Controllo: Modelli, Trend Rapporto di analisi comparata di sistemi di interlocking: Problematiche e Confronto Sistemi ...222 Accessi Voto
-
km4city - the Knowledge Model 4 the CityAutori: Pierfrancesco Bellini, Paolo Nesi, Nadia Rauch coordinatore referente: paolo.nesi@unifi.it Knowledge base accessibile come punto di ingresso SPARQL, come indicato da http://log.disit.org ...1629 Accessi Voto
-
DISIT Lab overview: smart city, big data, semantic computing, cloudSmart City • Projects: http://www.disit.org/5501 – Sii-Mobility, http://www.sii-mobility.org – Service Map: http://servicemap.disit.org – Social Innovation: Coll@bora http://www.disit.org/5479 ...748 Accessi Voto
-
Overview on Smart City, DISIT lab solution for beginner, 2015 Part 7: Distributed SystemsSmart City Concepts Architecture of Smart City Infrastructures Peripheral processors Data collectors and Managers Blog Vigilance via Natural Language Processing Twitter vigilance Data ...421 Accessi Voto