Italiano (it)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 ...933 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 ...245 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 ...569 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 ...189 Hits Rating
-
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. ...281 Hits Rating
-
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 ...246 Hits Rating
-
Sistema Flessibile per la Gestione di Catene di ProduzioneAbstract 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 ...484 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 ...343 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 ...709 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 ...875 Hits Rating
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 = 1716035606 WHERE sid = 'e649a071139be32b5b44e3d08c60dba4' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128