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

Filter your results

815 results
Deposit type : Fulltext
Image document

ModControl – Mobile Phones as a Versatile Interaction Device for Large Screen Applications

Matthias Deller , Achim Ebert
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.289-296, ⟨10.1007/978-3-642-23771-3_22⟩
Conference papers hal-01590869v1
Image document

A Framework for Verifying Data-Centric Protocols

Yuxin Deng , Stéphane Grumbach , Jean-François Monin
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.106-120, ⟨10.1007/978-3-642-21461-5_7⟩
Conference papers hal-00647802v1
Image document

Relational Concurrent Refinement: Timed Refinement

John Derrick , Eerke Boiten
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.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers hal-01583329v1
Image document

Values in Design - Building Bridges between RE, HCI and Ethics

Christian Detweiler , Alina Pommeranz , Jeroen Hoven , Helen Nissenbaum
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.746-747, ⟨10.1007/978-3-642-23768-3_145⟩
Conference papers hal-01596979v1
Image document

Culture and Facial Expressions: A Case Study with a Speech Interface

Beant Dhillon , Rafal Kocielnik , Ioannis Politis , Marc Swerts , Dalila Szostak
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.392-404, ⟨10.1007/978-3-642-23771-3_29⟩
Conference papers hal-01590881v1
Image document

A Set of Customizable Games Supporting Therapy of Children with Cerebral Palsy

Beant Dhillon , Areti Goulati , Ioannis Politis , Agata Raczewska , Panos Markopoulos
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.360-361, ⟨10.1007/978-3-642-23768-3_31⟩
Conference papers hal-01596983v1
Image document

Data-Centric Interactions on the Web

Paloma Díaz , Tim Hussein , Steffen Lohmann , Jürgen Ziegler
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.726-727, ⟨10.1007/978-3-642-23768-3_135⟩
Conference papers hal-01596975v1
Image document

Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms

Kurt Dietrich , Johannes Winter , Granit Luzhnica , Siegfried Podesser
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.45-58, ⟨10.1007/978-3-642-24712-5_4⟩
Conference papers hal-01596194v1
Image document

Talking about Public Service Processes

Bruna Diirr , Renata Araujo , Claudia Cappelli
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.252-261, ⟨10.1007/978-3-642-23333-3_22⟩
Conference papers hal-01589373v1
Image document

Scheduler-Dependent Inter-cell Interference and Its Impact on LTE Uplink Performance at Flow Level

D. C. Dimitrova , G. Heijenk , J. Berg , S. Yankov
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.285-296, ⟨10.1007/978-3-642-21560-5_24⟩
Conference papers hal-01583652v1
Image document

Security Warnings for Children’s Smart Phones: A First Design Approach

Jana Dittmann , Jana Fruth , Ronny Merkel
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.241-243, ⟨10.1007/978-3-642-24712-5_24⟩
Conference papers hal-01596186v1
Image document

Selective Modeling to Support Task Migratability of Interactive Artifacts

Anke Dittmar , Peter Forbrig
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.571-588, ⟨10.1007/978-3-642-23765-2_39⟩
Conference papers hal-01591828v1
Image document

Are Friends Overrated? A Study for the Social Aggregator Digg.com

Christian Doerr , Siyu Tang , Norbert Blenn , Piet Van Mieghem
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.314-327, ⟨10.1007/978-3-642-20798-3_24⟩
Conference papers hal-01597982v1
Image document

A Novel Secure Image Hashing Based on Reversible Watermarking for Forensic Analysis

Munkhbaatar Doyoddorj , Kyung-Hyune Rhee
1st Availability, Reliability and Security (CD-ARES), Aug 2011, Vienna, Austria. pp.286-294, ⟨10.1007/978-3-642-23300-5_22⟩
Conference papers hal-01590409v1
Image document

Helping Users Sort Faster with Adaptive Machine Learning Recommendations

Steven M. Drucker , Danyel Fisher , Sumit Basu
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.187-203, ⟨10.1007/978-3-642-23765-2_13⟩
Conference papers hal-01591827v1
Image document

Re-designing the Web’s Access Control System

Wenliang Du , Xi Tan , Tongbo Luo , Karthick Jayaraman , Zutao Zhu
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.4-11, ⟨10.1007/978-3-642-22348-8_2⟩
Conference papers hal-01586586v1
Image document

Coupling Interaction and Physiological Metrics for Interaction Adaptation

Luís Duarte , Luís Carriço
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.499-502, ⟨10.1007/978-3-642-23768-3_67⟩
Conference papers hal-01596919v1
Image document

Virtualizing Stream Processing

Michael Duller , Jan S. Rellermeyer , Gustavo Alonso , Nesime Tatbul
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.269-288, ⟨10.1007/978-3-642-25821-3_14⟩
Conference papers hal-01597774v1
Image document

Redundant Modular Reduction Algorithms

Vincent Dupaquis , Alexandre Venelli
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.102-114, ⟨10.1007/978-3-642-27257-8_7⟩
Conference papers hal-01596301v1
Image document

Cyber Situation Awareness: Modeling the Security Analyst in a Cyber-Attack Scenario through Instance-Based Learning

Varun Dutt , Young-Suk Ahn , Cleotilde Gonzalez
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.280-292, ⟨10.1007/978-3-642-22348-8_24⟩
Conference papers hal-01586581v1
Image document

Learning HCI and InfoVis in the Open

Erik Duval , Gonzalo Parra , Jose Luis Santos , Sam Agten , Sven Charleer , et al.
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.8-16, ⟨10.1007/978-3-642-54894-9_2⟩
Conference papers hal-01414648v1
Image document

Building Bridges – HCI and Visualization

Achim Ebert , Gitta Domik , Nahum Gershon , Gerrit van Der Veer
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.722-723, ⟨10.1007/978-3-642-23768-3_133⟩
Conference papers hal-01596957v1
Image document

Tangoscope: A Tangible Audio Device for Tabletop Interaction

Jörg Edelmann , Yvonne Kammerer , Birgit Imhof , Peter Gerjets , Wolfgang Strasser
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.427-434, ⟨10.1007/978-3-642-23765-2_29⟩
Conference papers hal-01591804v1
Image document

Social Media and Political Participation: Are Facebook, Twitter and YouTube Democratizing Our Political Systems?

Robin Effing , Jos Van Hillegersberg , Theo Huibers
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.25-35, ⟨10.1007/978-3-642-23333-3_3⟩
Conference papers hal-01589391v1
Image document

Memory Encryption for Smart Cards

Bariş Ege , Elif Bilge Kavun , Tolga Yalçin
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.199-216, ⟨10.1007/978-3-642-27257-8_13⟩
Conference papers hal-01596296v1
Image document

The Relative Importance of Intermediaries in eGovernment Adoption: A Study of Saudi Arabia

Ramzi El-Haddadeh , Faris Al-Sobhi , Vishanth Weerakkody
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.62-74, ⟨10.1007/978-3-642-22878-0_6⟩
Conference papers hal-01589079v1
Image document

Exploration Views: Understanding Dashboard Creation and Customization for Visualization Novices

Micheline Elias , Anastasia Bezerianos
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.274-291, ⟨10.1007/978-3-642-23768-3_23⟩
Conference papers hal-01596940v1
Image document

Praspel: A Specification Language for Contract-Based Testing in PHP

Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti , Abdallah Ben Othman
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers hal-00640279v1
Image document

Image Retrieval with Semantic Sketches

David Engel , Christian Herdtweck , Björn Browatzki , Cristóbal Curio
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.412-425, ⟨10.1007/978-3-642-23774-4_35⟩
Conference papers hal-01590549v1
Image document

Small Worlds and Rapid Mixing with a Little More Randomness on Random Geometric Graphs

Gunes Ercal
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.281-293, ⟨10.1007/978-3-642-20757-0_22⟩
Conference papers hal-01583418v1