Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Sub-domain level 1 : info.info-ni
labStructName_s : Department of Information Science
labStructName_s : Laboratoire d'Informatique de Grenoble
Page :
sorted by
Image document

On the Design and Development of webinos: A Distributed Mobile Application Middleware

 John Lyle , Shamal Faily , Ivan Fléchais , André Paul , Ayşe Göker , et al.
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.140-147, ⟨10.1007/978-3-642-30823-9_12⟩
Conference papers hal-01527646v1
Image document

EFD: An efficient low-overhead scheduler

 Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

GREP: Games for the Runtime Enforcement of Properties

 Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Image document

Monotonic Prefix Consistency in Distributed Systems

 Alain Girault , Gregor Gössler , Rachid Guerraoui , Jad Hamza , Dragos-Adrian Seredinschi
FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers hal-01824817v1
Image document

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

 Nicolas Gast , Diego Latella , Mieke Massink
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers hal-03273995v1
Image document

Simple Isolation for an Actor Abstract Machine

 Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers hal-01767336v1
Page :