Filter your results
- 20
- 20
- 19
- 3
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 2
- 2
- 1
- 20
- 20
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Continuous Mental Effort Evaluation during 3D Object Manipulation Tasks based on Brain and Physiological Signals15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.472-487, ⟨10.1007/978-3-319-22668-2_35⟩
Conference papers
hal-01157896v1
|
||
|
|
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Conference papers
hal-02341856v1
|
||
|
|
Assessing the Impact of Automatic vs. Controlled Rotations on Spatial Transfer with a Joystick and a Walking Interface in VR14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.1-18, ⟨10.1007/978-3-642-40483-2_1⟩
Conference papers
hal-00804266v3
|
||
|
|
Towards a Context-Aware Security and Privacy as a Service in the Internet of Things13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.240-252, ⟨10.1007/978-3-030-41702-4_15⟩
Conference papers
hal-02496273v1
|
||
|
|
Estimating Visual Comfort in Stereoscopic Displays Using Electroencephalography: A Proof-of-Concept15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.354-362, ⟨10.1007/978-3-319-22723-8_28⟩
Conference papers
hal-01157890v1
|
||
|
|
OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers
hal-00991376v1
|
||
|
|
Continuous Tactile Feedback for Motor-Imagery based Brain-Computer Interaction in a Multitasking Context15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.488-505, ⟨10.1007/978-3-319-22701-6_36⟩
Conference papers
hal-01159146v1
|
||
|
|
Bridging the Gap between Legacy Services and Web ServicesMiddleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Nov 2010, Bangalore, India. pp.273-292, ⟨10.1007/978-3-642-16955-7_14⟩
Conference papers
hal-01055279v1
|
||
|
|
A Secure and Trusted Channel Protocol for UAVs Fleets11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.3-24, ⟨10.1007/978-3-319-93524-9_1⟩
Conference papers
hal-01875525v1
|
||
|
|
GREP: Games for the Runtime Enforcement of Properties29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers
hal-01678960v1
|
||
|
|
Architecturing Conflict Handling of Pervasive Computing Resources11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers
inria-00581604v1
|
||
|
|
Benchmarking Cryptographic Schemes for Securing Public Cloud Storages17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.163-176, ⟨10.1007/978-3-319-59665-5_12⟩
Conference papers
hal-01800117v1
|
||
|
|
Tropical Two-Way Automata8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.195-206, ⟨10.1007/978-3-662-44602-7_16⟩
Conference papers
hal-01069637v1
|
||
|
|
Pointing in Spatial Augmented Reality from 2D Pointing Devices15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.381-389, ⟨10.1007/978-3-319-22723-8_30⟩
Conference papers
hal-01153647v1
|
||
|
|
Two-Way Automata over Locally Finite Semirings20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Hallifax, NS, Canada. pp.62-74, ⟨10.1007/978-3-319-94631-3_6⟩
Conference papers
hal-01866160v1
|
||
|
|
The Theory of Universal Graphs for Games: Past and Future15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.1-10, ⟨10.1007/978-3-030-57201-3_1⟩
Conference papers
hal-03232352v1
|
||
|
|
EZ: Towards Efficient Asynchronous Protocol Gateway Construction13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩
Conference papers
hal-00991335v1
|
||
|
|
Toward a Matching Approach to Support CBM (Collaborative Business Model) Processes between Regional Entrepreneurs within the RIS3 PolicyIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2016, Iguassu, Brazil. ⟨10.1007/978-3-319-51133-758⟩
Conference papers
hal-01332621v1
|
||
|
|
ZigZag: a Middleware for Service Discovery in Future Internet12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.208-221, ⟨10.1007/978-3-642-30823-9_19⟩
Conference papers
hal-00689779v1
|
||
|
|
Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers
hal-00643601v1
|