Filter your results
- 12
- 12
- 12
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 12
- 2
- 1
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 results
|
|
sorted by
|
|
Towards Testing Self-organizing, Adaptive Systems26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.180-185, ⟨10.1007/978-3-662-44857-1_13⟩
Conference papers
hal-01405285v1
|
||
|
Modal Interface Automata7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.265-279, ⟨10.1007/978-3-642-33475-7_19⟩
Conference papers
hal-01556228v1
|
||
|
Towards Energy-, Time- and Security-Aware Multi-core Coordination22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.57-74, ⟨10.1007/978-3-030-50029-0_4⟩
Conference papers
hal-03273984v1
|
||
|
User-Defined Body Gestures for an Interactive Storytelling Scenario14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.264-281, ⟨10.1007/978-3-642-40480-1_17⟩
Conference papers
hal-01501748v1
|
||
|
Risk-Based Interoperability Testing Using Reinforcement Learning28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.52-69, ⟨10.1007/978-3-319-47443-4_4⟩
Conference papers
hal-01643732v1
|
||
|
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers
hal-03283234v1
|
||
|
Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-organizing Systems7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.90-102, ⟨10.1007/978-3-642-54140-7_8⟩
Conference papers
hal-01291502v1
|
||
|
Back-to-Back Testing of Self-organization Mechanisms28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.18-35, ⟨10.1007/978-3-319-47443-4_2⟩
Conference papers
hal-01643712v1
|
||
|
Usage and Recognition of Finger Orientation for Multi-Touch Tabletop Interaction13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.409-426, ⟨10.1007/978-3-642-23765-2_28⟩
Conference papers
hal-01591833v1
|
||
|
Fostering Smart Energy Applications15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.657-658, ⟨10.1007/978-3-319-22723-8_88⟩
Conference papers
hal-01610804v1
|
||
|
Formalizing Information Flow Control in a Model-Driven Approach2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.456-461, ⟨10.1007/978-3-642-55032-4_46⟩
Conference papers
hal-01397341v1
|
||
|
Traveller: An Interactive Cultural Training System Controlled by User-Defined Body Gestures14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.697-704, ⟨10.1007/978-3-642-40498-6_63⟩
Conference papers
hal-01510550v1
|