Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 444497
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1

Open Source Systems: Towards Robust Practices

 Federico Balaguer , Roberto Di Cosmo , Alejandra Garrido , Fabio Kon , Gregorio Robles , et al.
Springer International Publishing, AICT-496, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-57734-0. ⟨10.1007/978-3-319-57735-7⟩
Books hal-01776287v1
Image document

Border Effects on Connectivity for Randomly Oriented Directional Antenna Networks

 Amitabha Bagchi , Federico Corò , Cristina Pinotti , Vlady Ravelomanana
17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018), Jun 2018, Capri Island, Italy. pp.79-86
Conference papers hal-01832533v1
Image document

Counter Machines and Distributed Automata

 Olivier Carton , Bruno Guillon , Fabian Reiter
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Conference papers hal-01824873v1
Page :