Filter your results
- 15
- 15
- 15
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 3
- 15
- 4
- 1
- 3
- 3
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Physiological Measurement of Trust-Related Behavior in Trust-Neutral and Trust-Critical Situations5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.165-172, ⟨10.1007/978-3-642-22200-9_14⟩
Conference papers
hal-01568678v1
|
||
|
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
|
||
|
An Empirical Evaluation of the Compliance of Game-Network Providers with Data-Protection Law5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.149-164, ⟨10.1007/978-3-642-22200-9_13⟩
Conference papers
hal-01568683v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Planning Support for Enterprise Changes6th The Practice of Entrprise Modeling (PoEM), Nov 2013, Riga, Latvia. pp.54-68, ⟨10.1007/978-3-642-41641-5_5⟩
Conference papers
hal-01474755v1
|