Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:258:\"file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport &quot;ssl&quot; - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:39;}', 3, '', 'http://www.disit.org/drupal/?page=55&q=taxonomy%2Fterm%2F1163%2F1', '', '192.168.0.44', 1757096966) in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:256:\"file_get_contents(http://www.disit.org/RightBarMM.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport &quot;ssl&quot; - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:41;}', 3, '', 'http://www.disit.org/drupal/?page=55&q=taxonomy%2Fterm%2F1163%2F1', '', '192.168.0.44', 1757096966) in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
project kind | DISIT Lab of University of Florence
Homepage

project kind

  • Execution of TILCO Specifications Technical Report
    Execution of TILCO Specifications Technical Report
    Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
    1157 Accessi Voto
  • C-TILCO theory
    C-TILCO theory
    Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
    429 Accessi Voto
  • TILCOX an Extension of TILCO Temporal Logic
    TILCOX an Extension of TILCO Temporal Logic
    Formal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
    809 Accessi Voto
  • TILCO-X theory
    TILCO-X theory
    Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
    397 Accessi Voto
  • Reengineering a Computerized Numerical Control Towards Object-Oriented
    Reengineering a Computerized Numerical Control Towards Object-Oriented
    The 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. ...
    855 Accessi Voto
  • Evaluating a Flexible Architecture for Distributed Control
    Evaluating a Flexible Architecture for Distributed Control
    Abstract 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 ...
    434 Accessi Voto
  • Sistema Flessibile per la Gestione di Catene di Produzione
    Sistema Flessibile per la Gestione di Catene di Produzione
    Nelle 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à ...
    819 Accessi Voto
  • Smart City data via LOD/LOG Service (Abstract) http://log.disit.org
    Smart City data via LOD/LOG Service (Abstract) http://log.disit.org
    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 ...
    558 Accessi Voto
  • Dati smart city attraverso LOD / LOG Service ( abstract )
    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 ...
    1100 Accessi Voto
  • Dati smart city attraverso LOD / LOG Service ( slides )
    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 ...
    1303 Accessi Voto
time: 334ms ()


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 = 1757991847 WHERE sid = '207414816699d6a8729c61369e8953d1' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128