Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

10 results
Page :
sorted by
Image document

Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation

 Nicola Bertoglio , Gianfranco Lamperti , Marina Zanella
3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.333-352, ⟨10.1007/978-3-030-29726-8_21⟩
Conference papers hal-02520041v1
Image document

Flow Management at Multi-Gbps: Tradeoffs and Lessons Learned

 Georges Nassopulos , Dario Rossi , Francesco Gringoli , Lorenzo Nava , Maurizio Dusi , et al.
6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.1-14, ⟨10.1007/978-3-642-54999-1_1⟩
Conference papers hal-01396466v1
Image document

Diagnosis of Higher-Order Discrete-Event Systems

 Gianfranco Lamperti , Xiangfu Zhao
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.162-177
Conference papers hal-01506770v1
Image document

Pilot Implementation: Testing Human-Work Interaction Designs

 Morten Hertzum , Torkil Clemmensen , Barbara Rita Barricelli , Pedro F. Campos , Frederica Gonçalves , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.570-574, ⟨10.1007/978-3-030-85607-6_79⟩
Conference papers hal-04291193v1
Image document

Contemporary Art Digitalization: An Opportunity for Designing New Experiences

 Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Fabio Pittarello
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.382-385, ⟨10.1007/978-3-030-85607-6_42⟩
Conference papers hal-04291211v1
Image document

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems

 Gianfranco Lamperti , Marina Zanella , Xiangfu Zhao
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.43-64, ⟨10.1007/978-3-319-99740-7_4⟩
Conference papers hal-02060059v1
Image document

Experiencing Contemporary Art at a Distance

 Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Gian Luca Foresti , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.344-347, ⟨10.1007/978-3-030-85607-6_34⟩
Conference papers hal-04291240v1
Image document

Diagnosis of Complex Active Systems with Uncertain Temporal Observations

 Gianfranco Lamperti , Xiangfu Zhao
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.45-62, ⟨10.1007/978-3-319-45507-5_4⟩
Conference papers hal-01635018v1
Image document

Metrics-Based Incremental Determinization of Finite Automata

 Sergiu I. Balan , Gianfranco Lamperti , Michele Scandale
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.29-44, ⟨10.1007/978-3-319-10975-6_3⟩
Conference papers hal-01403984v1
Image document

Uncertainty in Live Forensics

 Antonio Savoldi , Paolo Gubian , Isao Echizen
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.171-184, ⟨10.1007/978-3-642-15506-2_12⟩
Conference papers hal-01060617v1
Page :