Filter your results
- 10
- 10
- 7
- 3
- 1
- 2
- 1
- 1
- 4
- 1
- 10
- 10
- 5
- 2
- 1
- 1
- 1
- 1
- 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
10 results
|
|
sorted by
|
|
Deploying W3C Web of Things-Based Interoperable Mash-up Applications for Industry 4.0: A Testbed17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.3-14, ⟨10.1007/978-3-030-30523-9_1⟩
Conference papers
hal-02881743v1
|
||
|
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers
hal-01821498v1
|
||
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|
||
|
Priority Level Planning in Kriegspiel11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.333-340, ⟨10.1007/978-3-642-33542-6_29⟩
Conference papers
hal-01556114v1
|
||
|
Verification of Ad Hoc Networks with Node and Communication Failures 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
Conference papers
hal-00909367v1
|
||
|
QoS-Based Mobility System for Autonomous Unmanned Aerial Vehicles Wireless NetworksInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.233-245, ⟨10.1007/978-3-030-02931-9_19⟩
Conference papers
hal-02269724v1
|
||
|
A Reversible Abstract Machine and Its Space Overhead14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers
hal-00909384v1
|
||
|
Semantic Subtyping for Objects and Classes15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers
hal-00909299v1
|
||
|
A Social Software-Based Coordination Platform14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.17-28, ⟨10.1007/978-3-642-30829-1_2⟩
Conference papers
hal-01529596v1
|
||
|
Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.398-409, ⟨10.1007/978-3-642-21560-5_33⟩
Conference papers
hal-01583638v1
|