Filter your results
- 4
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Model Checking MANETs with Arbitrary Mobility5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers
hal-01514658v1
|
||
|
VICINITY: A Pinch of Randomness Brings out the Structure14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.21-40, ⟨10.1007/978-3-642-45065-5_2⟩
Conference papers
hal-01480790v1
|
||
|
Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers
hal-01489457v1
|
||
|
Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers
hal-01489466v1
|