Search - IFIP Open Digital Library Access content directly

Filter your results

31 results
Structure: Internal structure identifier : 24471
Page :
sorted by
Image document

Code Generation for a Bi-dimensional Composition Mechanism

 Jacky Estublier , Anca Daniela Ionita , Tam Nguyen
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.171-185, ⟨10.1007/978-3-642-22386-0_13⟩
Conference papers hal-01572540v1
Image document

Precise pointing techniques for handheld Augmented Reality

 Thomas Vincent , Laurence Nigay , Takeshi Kurata
14th International Conference on Human-Computer Interaction (INTERACT), 2013, Cape Town, South Africa. pp.122-139, ⟨10.1007/978-3-642-40483-2_9⟩
Conference papers hal-00953357v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

 Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers hal-00853716v1
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

 Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

Towards Brain Computer Interfaces for Recreational Activities: Piloting a Drone

 Nataliya Kos'Myna , Franck Tarpin-Bernard , Bertrand Rivet , Nataliya Kosmyna
INTERACT 2015 - 15th Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.506-522, ⟨10.1007/978-3-319-22701-6_37⟩
Conference papers hal-01492578v1
Image document

On the Limits of the Human Motor Control Precision: the Search for a Device's Human Resolution

 François Bérard , Guangyu Wang , Jeremy Cooperstock
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.107-122, ⟨10.1007/978-3-642-23771-3_10⟩
Conference papers hal-00759964v1
Image document

EFD: An efficient low-overhead scheduler

 Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1
Image document

Manufacturing Reporting Knowledge Representation: A Case Study at STMicroelectronics

 Manel Brichni , Sophie Dupuy-Chessa , Lilia Gzara , Corinne Jeannet
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.34-41, ⟨10.1007/978-3-662-44739-0_5⟩
Conference papers hal-01388204v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

A Scalable Benchmark as a Service Platform

 Alain Tchana , Noel de Palma , Ahmed El Rheddane , Bruno Dillenseger , Xavier Etchevers , et al.
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.113-126, ⟨10.1007/978-3-642-38541-4_9⟩
Conference papers hal-00949561v1
Image document

The PEW Framework for Worth Mapping

 Fatoumata Camara , Gaëlle Calvary , Rachel Demumieux
INTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers hal-00953353v1
Image document

A Case Study for Improving a Collaborative Design Process

 Sophie Dupuy-Chessa , Nadine Mandran , Guillaume Godet-Bar , Dominique Rieu
ME 2011 - Working Conference on Method Engineering, Apr 2011, Paris, France. pp.97-101, ⟨10.1007/978-3-642-19997-4_10⟩
Conference papers hal-00758526v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

A Model-Based Certification Framework for the EnergyBus Standard

 Alexander Graf-Brill , Holger Hermanns , Hubert Garavel
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Conference papers hal-01098360v1
Image document

OP: A Novel Programming Model for Integrated Design and Prototyping of Mixed Objects

 Céline Coutrix , Laurence Nigay
INTERACT 2011 - International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.54-72, ⟨10.1007/978-3-642-23765-2_5⟩
Conference papers hal-00758552v1
Image document

Bridging the Gap between Business Processes and Service Composition through Service Choreographies

 Mario Cortès Cornax , Sophie Dupuy-Chessa , Dominique Rieu
IFIP WG8.1 Working conference on Method Engineering (ME'2011), Apr 2011, Paris, France. pp.190-203, ⟨10.1007/978-3-642-19997-4_18⟩
Conference papers hal-00953442v1
Image document

Self-scalable Benchmarking as a Service with Automatic Saturation Detection

 Alain Tchana , Bruno Dillenseger , Noel de Palma , Xavier Etchevers , Jean-Marc Vincent , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.389-404, ⟨10.1007/978-3-642-45065-5_20⟩
Conference papers hal-00949560v1
Image document

Efficient and Generalized Decentralized Monitoring of Regular Languages

 Yliès Falcone , Tom Cornebize , Jean-Claude Fernandez
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers hal-00972559v1
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

 Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1
Image document

Model-Based Self-Explanatory UIs for free, but are they valuable?

 Alfonso García Frey , Gaëlle Calvary , Sophie Dupuy-Chessa , Nadine Mandran
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.144-161, ⟨10.1007/978-3-642-40477-1_9⟩
Conference papers hal-00953351v1
Image document

Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability

 Charbel El Kaed , Yves Denneulin , François-Gaël Ottogalli , Luis Felipe Melo Mora
Software Technologies for Embedded and Ubiquitous Systems, 2010, Waidhofen/Ybbs, Austria. pp.71-82, ⟨10.1007/978-3-642-16256-5_9⟩
Conference papers hal-00788859v1
Image document

Component-Based Autonomic Managers for Coordination Control

 Soguy Mak-Karé Gueye , Noel de Palma , Eric Rutten
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.75-89, ⟨10.1007/978-3-642-38493-6_6⟩
Conference papers hal-00949562v1
Image document

A Reversible Abstract Machine and Its Space Overhead

 Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1
Image document

Approximating the Non-contiguous Multiple Organization Packing Problem

 Marin Bougeret , Pierre François Dutot , Klaus Jansen , Christina Otte , Denis Trystram
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.316-327, ⟨10.1007/978-3-642-15240-5_23⟩
Conference papers hal-01054450v1
Image document

Worth-Centered Design in Practice: Lessons from Experience and Research agenda

 Fatoumata Camara , Gaëlle Calvary
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.123-139, ⟨10.1007/978-3-319-22723-8_10⟩
Conference papers hal-01492566v1
Image document

User Interface eXtensible Markup Language SIG

 Gaëlle Calvary , Olivier De Wasseige , David Faure , Jean Vanderdonckt
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.693-695, ⟨10.1007/978-3-642-23768-3_119⟩
Conference papers hal-01596993v1
Image document

Simple Isolation for an Actor Abstract Machine

 Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th 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
Image document

Shape-Change for Zoomable TUIs: Opportunities and Limits of a Resizable Slider

 Céline Coutrix , Cédric Masclet
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.349-366, ⟨10.1007/978-3-319-22701-6_27⟩
Conference papers hal-01240726v1
Image document

DVFS Aware CPU Credit Enforcement in a Virtualized System

 Daniel Hagimont , Christine Mayap Kamga , Laurent Broto , Alain Tchana , Noel de Palma
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.123-142, ⟨10.1007/978-3-642-45065-5_7⟩
Conference papers hal-01151030v2
Page :