Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

753 results
Deposit type : Fulltext
publicationDateY_i : 2015
Page :
sorted by
Image document

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

 Silvano Dal Zilio , Bernard Berthomieu
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers hal-01202799v1
Image document

Quantifying Object- and Command-oriented Interaction

 Alix Goguey , Julie Wagner , Géry Casiez
15th Human-Computer Interaction (INTERACT), IFIP, Sep 2015, Bamberg, Germany. pp.231-239, ⟨10.1007/978-3-319-22723-8_18⟩
Conference papers hal-01252527v1
Image document

Glass+Skin: An Empirical Evaluation of the Added Value of Finger Identification to Basic Single-Touch Interaction on Touch Screens

 Quentin Roy , Yves Guiard , Gilles Bailly , Éric Lecolinet , Olivier Rioul , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.55-71, ⟨10.1007/978-3-319-22723-8_5⟩
Conference papers hal-01202852v1
Image document

Characterizing the Influence of Motion Parameters on Performance when Acquiring Moving Targets

 Alexandre Kouyoumdjian , Nicolas Ferey , Patrick Bourdot , Stéphane Huot
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.148-155, ⟨10.1007/978-3-319-22723-8_12⟩
Conference papers hal-01207511v1
Image document

Finding Objects Faster in Dense Environments using a Projection Augmented Robotic Arm

 Hind Gacem , Gilles Bailly , James R Eagan , Eric Lecolinet
INTERACT'15: IFIP International Conference on Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.221-238, ⟨10.1007/978-3-319-22698-9_15⟩
Conference papers hal-01447396v1
Image document

A Role-Switching Mechanic for Reflective Decision-Making Game

 Thomas T.C.C. Constant , Axel Buendia , Catherine Rolland , Stéphane Natkin
14th International Conference on Entertainment Computing (ICEC), Letizia Jaccheri; Konstantinos Chorianopoulos, Sep 2015, Trondheim, Norway. pp.417-423, ⟨10.1007/978-3-319-24589-8_34⟩
Conference papers hal-01197401v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

 Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers hal-01387758v1
Image document

Practical and Privacy-Preserving TEE Migration

 Ghada Arfaoui , Jean-François Lalande , Saïd Gharout , Jacques Traoré
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers hal-01183508v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
Image document

On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata

 Luca Mariot , Alberto Leporati
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩
Conference papers hal-01313895v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Image document

A CRDT Supporting Selective Undo for Collaborative Text Editing

 Weihai Yu , Luc André , Claudia-Lavinia Ignat
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
Conference papers hal-01246212v1
Image document

Remarks on the Cellular Automaton Global Synchronisation Problem

 Nazim Fatès
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jarkko Kari, Jun 2015, Turku, Finland. pp.113-126, ⟨10.1007/978-3-662-47221-7_9⟩
Conference papers hal-01255925v1
Image document

X-Ray: Monitoring and Analysis of Distributed Database Queries

 Pedro Guimarães , José Pereira
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.80-93, ⟨10.1007/978-3-319-19129-4_7⟩
Conference papers hal-01775031v1
Image document

Social Validation of Solutions in the Context of Online Communities

 Lydia Nahla Driff , Lamia Berkani , Ahmed Guessoum , Abdellah Bendjahel
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.93-104, ⟨10.1007/978-3-319-19578-0_8⟩
Conference papers hal-01789983v1
Image document

Analyzing Mutable Checkpointing via Invariants

 Deepanker Aggarwal , Astrid Kiehn
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.176-190, ⟨10.1007/978-3-319-24644-4_12⟩
Conference papers hal-01446599v1
Image document

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems

 Razieh Behjati , Shiva Nejati
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.110-126, ⟨10.1007/978-3-319-24644-4_8⟩
Conference papers hal-01446633v1
Image document

Merging Cellular Automata Rules to Optimise a Solution to the Modulo-n Problem

 Claudio M. Martins , Pedro De Oliveira
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.196-209, ⟨10.1007/978-3-662-47221-7_15⟩
Conference papers hal-01442473v1
Image document

Device Synchronisation: A Practical Limitation on Reader Assisted Jamming Methods for RFID Confidentiality

 Qiao Hu , Lavinia Mihaela Dinca , Gerhard Hancke
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.219-234, ⟨10.1007/978-3-319-24018-3_14⟩
Conference papers hal-01442545v1
Image document

Privacy-Respecting Auctions as Incentive Mechanisms in Mobile Crowd Sensing

 Tassos Dimitriou , Ioannis Krontiris
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.20-35, ⟨10.1007/978-3-319-24018-3_2⟩
Conference papers hal-01442551v1
Image document

NOTIONS OF HYPOTHESIS IN DIGITAL FORENSICS

 Segen Tewelde , Stefan Gruner , Martin Olivier
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.29-43, ⟨10.1007/978-3-319-24123-4_2⟩
Conference papers hal-01449069v1
Image document

Engineering the Requirements of Data Warehouses: A Comparative Study of Goal-Oriented Approaches

 Waffa Setra , Rachid Chalal , Mohamed Lamine Chouder
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.254-265, ⟨10.1007/978-3-319-19578-0_21⟩
Conference papers hal-01789961v1
Image document

Comparing Concurrent and Retrospective Verbal Protocols for Blind and Sighted Users

 Andreas Savva , Helen Petrie , Christopher Power
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.55-71, ⟨10.1007/978-3-319-22701-6_5⟩
Conference papers hal-01599628v1
Image document

EmbodiNet: Enriching Distributed Musical Collaboration Through Embodied Interactions

 Dalia El-Shimy , Jeremy R. Cooperstock
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.1-19, ⟨10.1007/978-3-319-22668-2_1⟩
Conference papers hal-01599860v1
Image document

Comparing Local e-Government Websites in Canada and the UK

 Laurence Brooks , Alexander Persaud
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.291-304, ⟨10.1007/978-3-319-22479-4_22⟩
Conference papers hal-01412281v1
Image document

Continuous Mental Effort Evaluation during 3D Object Manipulation Tasks based on Brain and Physiological Signals

 Dennis Wobrock , Jérémy Frey , Delphine Graeff , Jean-Baptiste de La Rivière , Julien Castet , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.472-487, ⟨10.1007/978-3-319-22668-2_35⟩
Conference papers hal-01157896v1
Image document

WSACd - A Usable Access Control Framework for Smart Home Devices

 Konstantinos Fysarakis , Charalampos Konstantourakis , Konstantinos Rantos , Charalampos Manifavas , Ioannis Papaefstathiou
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.120-133, ⟨10.1007/978-3-319-24018-3_8⟩
Conference papers hal-01442557v1
Image document

A MapReduce Based Distributed Framework for Similarity Search in Healthcare Big Data Environment

 Hiren K.D. Sarma , Yogesh K. Dwivedi , Nripendra P. Rana , Emma L. Slade
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.173-182, ⟨10.1007/978-3-319-25013-7_14⟩
Conference papers hal-01448037v1
Image document

Benchmarks for Parity Games

 Jeroen A. Keiren
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers hal-01446614v1
Image document

A Battle of Wit: Applying Computational Humour to Game Design

 Dormann Claire
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.72-85, ⟨10.1007/978-3-319-24589-8_6⟩
Conference papers hal-01758416v1
Page :