Filter your results
- 15
- 15
- 15
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 15
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 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
- 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
- 1
15 results
|
|
|
sorted by
|
|
|
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43613-4_2⟩
Conference papers
hal-01398006v1
|
||
|
|
Visualizing Information Retrieved from (Large) WHAT Networks17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.735-740, ⟨10.1007/978-3-030-29390-1_72⟩
Conference papers
hal-02878635v1
|
||
|
|
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
|
||
|
|
Cooperative Repair of Wireless Broadcasts11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.243-248, ⟨10.1007/978-3-642-21387-8_19⟩
Conference papers
hal-01583571v1
|
||
|
|
Creating Büchi Automata for Multi-valued Model Checking37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.210-224, ⟨10.1007/978-3-319-60225-7_15⟩
Conference papers
hal-01658422v1
|
||
|
|
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
|
||
|
|
Provable Network Activity for Protecting Users Against False Accusation10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.254-261, ⟨10.1007/978-3-319-45931-8_17⟩
Conference papers
hal-01639610v1
|
||
|
|
Supporting the Experience of Stakeholders of Multimedia Art – Towards an Ontology17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.3-15, ⟨10.1007/978-3-030-46540-7_1⟩
Conference papers
hal-03188821v1
|
||
|
|
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
|
||
|
|
Simulation-Based Performance Analysis of Channel-Based Coordination Models13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers
hal-01582989v1
|
||
|
|
Cognitive Processes Involved in Video Game Identification11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.75-84, ⟨10.1007/978-3-642-33542-6_7⟩
Conference papers
hal-01556143v1
|
||
|
|
Event Handoff Unobservability in WSN1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.20-28, ⟨10.1007/978-3-642-19228-9_3⟩
Conference papers
hal-01581330v1
|
||
|
|
Experiencing Contemporary Art at a Distance18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.344-347, ⟨10.1007/978-3-030-85607-6_34⟩
Conference papers
hal-04291240v1
|
||
|
|
Benchmarks for Parity Games6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers
hal-01446614v1
|