Filter your results
- 226
- 10
- 3
- 226
- 11
- 1
- 1
- 1
- 233
- 5
- 4
- 2
- 2
- 1
- 1
- 10
- 19
- 16
- 9
- 24
- 12
- 26
- 16
- 22
- 29
- 33
- 21
- 2
- 239
- 49
- 49
- 43
- 38
- 30
- 27
- 25
- 20
- 14
- 14
- 13
- 12
- 12
- 10
- 10
- 9
- 9
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
239 results
|
AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.249-268, ⟨10.1007/978-3-642-25821-3_13⟩
Conference papers
hal-00639633v1
|
||
|
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
|
||
|
GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite CollaborationINTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers
hal-02183386v1
|
||
|
A Reconfiguration Language for Virtualized Grid Infrastructures10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
Conference papers
hal-00474647v2
|
||
|
A Message Service for Opportunistic Computing in Disconnected MANETs12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.118-131, ⟨10.1007/978-3-642-30823-9_10⟩
Conference papers
hal-00763325v1
|
||
|
Explainable AI: the new 42?2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers
hal-01934928v1
|
||
|
Connecting your Mobile Shopping Cart to the Internet-of-Things12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.236-243, ⟨10.1007/978-3-642-30823-9_21⟩
Conference papers
hal-00684780v1
|
||
|
Simple Isolation for an Actor Abstract Machine35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers
hal-01767336v1
|
||
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers
hal-02890401v1
|
||
|
More Testable Properties22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers
inria-00510018v2
|
||
|
Applied Choreographies38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers
hal-01824812v1
|
||
|
Adaptable Processes (Extended Abstract)13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers
hal-01583325v1
|
||
|
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
|
||
|
Managing Risks at Runtime in VoIP Networks and Services4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.89-92, ⟨10.1007/978-3-642-13986-4_11⟩
Conference papers
inria-00538685v2
|
||
|
Duality of Equations and Coequations via Contravariant Adjunctions13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers
hal-01446034v1
|
||
|
DeepRoute: Herding Elephant and Mice Flows with Reinforcement LearningMLN 2019 - 2nd International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.296-314, ⟨10.1007/978-3-030-45778-5_20⟩
Conference papers
hal-03266462v1
|
||
|
Session-Based Concurrency, Reactively37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers
hal-01566466v1
|
||
|
Towards Verification of the Pastry Protocol Using TLA +13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers
hal-01583322v1
|
||
|
Reducing the Cost of Grammar-Based Testing Using Pattern CoverageICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers
hal-01470158v1
|
||
|
Pay-As-You-Go Data Integration Using Functional DependenciesInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.375-389, ⟨10.1007/978-3-642-32498-7_28⟩
Conference papers
hal-01542460v1
|
||
|
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
|
||
|
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
Conference papers
hal-00682914v1
|
||
|
Modeless Pointing with Low-Precision Wrist Movements14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers
hal-00821078v2
|
||
|
Boolean Networks: Beyond Generalized AsynchronicityAUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers
hal-01768359v2
|
||
|
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
|
||
|
FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing AppsDAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
Conference papers
hal-02121311v1
|
||
|
One Fitts’ Law, Two Metrics16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers
hal-01717202v1
|
||
|
Construction of Some Nonautomatic Sequences by Cellular AutomataAUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.113-126, ⟨10.1007/978-3-319-92675-9_9⟩
Conference papers
hal-01824876v1
|
||
|
Competition in Access to Content11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.211-222, ⟨10.1007/978-3-642-30054-7_17⟩
Conference papers
hal-01327908v1
|
||
|
Lawvere Categories as Composed PROPs13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers
hal-01446031v1
|