English (en-US)verification and validation
-
AXMEDIS Appendixes of the DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM370 Accessi Voto
-
AXMEDIS DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM243 Accessi Voto
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml393 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 ...493 Accessi Voto
-
Tools for Specifying Real-Time Systemsreal time systems specification, formal methods, tilco, uml347 Accessi Voto
-
Mobile MedicineMobile Medicine of the DISIT Lab is a collaborative portal and mobile application (http://mobmed.axmedis.org) where several tools are integrated for the production and distribution of intelligent ...406 Accessi Voto
-
Mobile MedicineMobile Medicine of the DISIT Lab is a collaborative portal and mobile application (http://mobmed.axmedis.org) where several tools are integrated for the production and distribution of intelligent ...614 Accessi Voto
-
Introduzione al Cloud e Virtualizzazione (con overview del Progetto ICARO)Definizioni di base, La Virtualizzazione, Il Cloud, Lo stack del cloud, High Availability, La gestione del datacenter, Come si lavora con VM, Il progetto ICARO. Progetto: Regione Toscana, POR ...314 Accessi Voto
-
Estrazione e Deduzione della Conoscenza via Modelli Semantici: From Social Network to Smart Cityseminario per il Corso di Dottorato 2014, Social Networking and knowledge, Semantic and Social Networks, Recommendations and Suggestions, Natural Language Processing System, Knowledge ...921 Accessi Voto
-
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 ...349 Accessi Voto
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1745621137 WHERE sid = 'c683184663409b8117c111335f485fe7' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128