English (en-US)knowledge base
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines445 Accessi Voto
-
Corso Dottorato: Sistemi Distribuiti, 2005-2006semantic computing, social media, suggestions226 Accessi Voto
-
Corso Dottorato: Societa ad alta intensita di conoscenza: modelli di innovazione e business, 2008-20semantic computing, social media, suggestions220 Accessi Voto
-
AXMEDIS DE1.7.1 Project PresentationAXMEDIS, automated content production, AXCP, tools, DRM430 Accessi Voto
-
AXMEDIS DE2.1.1.2.1 User Requirements, First Update of DE2.1.1aAXMEDIS, automated content production, AXCP, tools, DRM449 Accessi Voto
-
AXMEDIS DE2.1.1.2.2 Use Cases and Scenarios, First Update of DE2.1.1bAXMEDIS, automated content production, AXCP, tools, DRM456 Accessi Voto
-
AXMEDIS DE2.1.1a User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM473 Accessi Voto
-
AXMEDIS DE2.1.1b User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM454 Accessi Voto
-
AXMEDIS DE2.2.1.2 Test Cases and Content Description, First update of DE2.2.1AXMEDIS, automated content production, AXCP, tools, DRM428 Accessi Voto
-
AXMEDIS DE2.2.1 Test Cases and Content DescriptionAXMEDIS, automated content production, AXCP, tools, DRM422 Accessi Voto