English (en-US)project kind
-
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 ...936 Accessi Voto
-
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 ...248 Accessi Voto
-
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 ...570 Accessi Voto
-
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 ...191 Accessi Voto
-
Reengineering a Computerized Numerical Control Towards Object-OrientedThe experience of reengineering a Computerized Numerical Control, CNC, is presented. In the reengineering, several new functionalities and the upgrading towards the object-oriented were included. ...286 Accessi Voto
-
Evaluating a Flexible Architecture for Distributed ControlAbstract Along production pipelines in manufactory industries several elaboration phases in which the movement of interpolated axes are present. These activities have to be synchronized with ...253 Accessi Voto
-
Sistema Flessibile per la Gestione di Catene di ProduzioneNelle catene di produzione industriali sono presenti diverse fasi di elaborazione che richiedono movimento di assi in interpolazione. Queste attività devono essere sincronizzate con altre attività ...494 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
-
Dati smart city attraverso LOD / LOG Service ( abstract )Perché: Creare una ontologia che permette di combinare tutti i dati forniti dal Comune di Firenze e la regione Toscana.? Problemi: dati hanno diversi formati, devono essere conciliate per poter ...717 Accessi Voto
-
Dati smart city attraverso LOD / LOG Service ( slides )Perché: Creare una ontologia che permette di combinare tutti i dati forniti dal Comune di Firenze e la regione Toscana.? Problemi: dati hanno diversi formati, devono essere conciliate per poter ...891 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 = 1745861742 WHERE sid = 'cd1d126bafe786177d89f955cf840e6a' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128