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

Filter your results

5 results
Page :
sorted by
Image document

Formal Verification of Complex Properties on PLC Programs

 Dániel Darvas , Borja Fernández Adiego , András Vörös , Tamás Bartha , Enrique Blanco Viñuela , et al.
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.284-299, ⟨10.1007/978-3-662-43613-4_18⟩
Conference papers hal-01398021v1
Image document

Stunner: A Smart Phone Trace for Developing Decentralized Edge Systems

 Zoltán Szabó , Krisztián Téglás , Árpád Berta , Márk Jelasity , Vilmos Bilicki
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2019, Kongens Lyngby, Denmark. pp.108-115, ⟨10.1007/978-3-030-22496-7_7⟩
Conference papers hal-02319572v1
Image document

Gossip Learning as a Decentralized Alternative to Federated Learning

 István Hegedűs , Gábor Danner , Márk Jelasity
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2019, Kongens Lyngby, Denmark. pp.74-90, ⟨10.1007/978-3-030-22496-7_5⟩
Conference papers hal-02319574v1
Image document

Semantic Intelligent Space for Ambient Assisted Living

 István Marcell Fülöp , Péter Galambos , Péter Baranyi
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.396-407, ⟨10.1007/978-3-642-32808-4_36⟩
Conference papers hal-01543139v1
Image document

Techno-Economic Evaluation of Cognitive Radio in a Factory Scenario

 Matthias Barrie , Lieven Tytgat , Vânia Gonçalves , Opher Yaron , Ingrid Moerman , et al.
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.52-61, ⟨10.1007/978-3-642-23041-7_6⟩
Conference papers hal-01587834v1
Page :