Filter your results
- 7
- 7
- 7
- 1
- 2
- 1
- 3
- 7
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Scalable Efficient Composite Event Detection12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.168-182, ⟨10.1007/978-3-642-13414-2_12⟩
Conference papers
hal-01054628v1
|
||
|
Efficient Session Type Guided Distributed Interaction12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.152-167, ⟨10.1007/978-3-642-13414-2_11⟩
Conference papers
hal-01054629v1
|
||
|
FAIDECS: Fair Decentralized Event Correlation12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.228-248, ⟨10.1007/978-3-642-25821-3_12⟩
Conference papers
hal-01597762v1
|
||
|
Parametric Subscriptions for Content-Based Publish/Subscribe NetworksACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.128-147, ⟨10.1007/978-3-642-16955-7_7⟩
Conference papers
hal-01055268v1
|
||
|
Atmosphere: A Universal Cross-Cloud Communication Infrastructure14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.163-182, ⟨10.1007/978-3-642-45065-5_9⟩
Conference papers
hal-01480796v1
|
||
|
A Type Theory for Robust Failure Handling in Distributed Systems36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.96-113, ⟨10.1007/978-3-319-39570-8_7⟩
Conference papers
hal-01432930v1
|
||
|
Assured Cloud-Based Data Analysis with ClusterBFT14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.82-102, ⟨10.1007/978-3-642-45065-5_5⟩
Conference papers
hal-01480793v1
|