Filter your results
- 10
- 10
- 10
- 10
- 3
- 2
- 5
- 2
- 3
- 5
- 2
- 6
- 4
- 4
- 8
- 10
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
The Broker2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.10-22, ⟨10.1007/978-3-642-19641-6_2⟩
Conference papers
hal-01572653v1
|
||
|
|
On Asynchronous Session Semantics13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.228-243, ⟨10.1007/978-3-642-21461-5_15⟩
Conference papers
hal-01583321v1
|
||
|
|
Architecturing Conflict Handling of Pervasive Computing Resources11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers
inria-00581604v1
|
||
|
|
A Process Calculus for Dynamic Networks13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.213-227, ⟨10.1007/978-3-642-21461-5_14⟩
Conference papers
hal-01583319v1
|
||
|
|
Longitude: A Privacy-Preserving Location Sharing Protocol for Mobile Applications5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.133-148, ⟨10.1007/978-3-642-22200-9_12⟩
Conference papers
hal-01568690v1
|
||
|
|
Tools for Performance Evaluation of Computer Systems: Historical Evolution and PerspectivesPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.24-37, ⟨10.1007/978-3-642-25575-5_3⟩
Conference papers
hal-01586901v1
|
||
|
|
A Content-Based Publish/Subscribe Matching Algorithm for 2D Spatial Objects12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.208-227, ⟨10.1007/978-3-642-25821-3_11⟩
Conference papers
hal-01597775v1
|
||
|
|
SafeWeb: A Middleware for Securing Ruby-Based Web Applications12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.491-511, ⟨10.1007/978-3-642-25821-3_25⟩
Conference papers
hal-01597759v1
|
||
|
|
Safe Parallel Programming with Session Java13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.110-126, ⟨10.1007/978-3-642-21464-6_8⟩
Conference papers
hal-01582999v1
|
||
|
|
Femtocell Coverage Optimisation Using Statistical Verification10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.343-354, ⟨10.1007/978-3-642-20757-0_27⟩
Conference papers
hal-01583425v1
|