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

Filter your results

788 results
Deposit type : Fulltext
publicationDateY_i : 2011
Image document

Conformance Relations for Distributed Testing Based on CSP

Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
Image document

Counting for Random Testing

Marie-Claude Gaudel
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers hal-01583925v1
Image document

Knowledge base for an autonomic transport layer

Ernesto Expósito , Christophe Chassot , Michel Diaz
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. ⟨10.1007/978-3-642-21560-5_15⟩
Conference papers hal-01024654v1
Image document

Selective Disclosure on Encrypted Documents

Hao Lei , Dengguo Feng
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.255-262, ⟨10.1007/978-3-642-22348-8_21⟩
Conference papers hal-01586575v1
Image document

A Load-Aware Data Placement Policy on Cluster File System

Yu Wang , Jing Xing , Jin Xiong , Dan Meng
8th Network and Parallel Computing (NPC), Oct 2011, Changsha,, China. pp.17-31, ⟨10.1007/978-3-642-24403-2_2⟩
Conference papers hal-01593007v1
Image document

Integrity of Electronic Patient Records

Joris Hulstijn , Jan van Der Jagt , Pieter Heijboer
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.378-391, ⟨10.1007/978-3-642-22878-0_32⟩
Conference papers hal-01589094v1
Image document

oBGP: An Overlay for a Scalable iBGP Control Plane

Iuniana Oprescu , Mickaël Meulle , Steve Uhlig , Cristel Pelsser , Olaf Maennel , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.420-431, ⟨10.1007/978-3-642-20757-0_33⟩
Conference papers hal-01583402v1
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

Formal Framework for the Evaluation of Waveform Resynchronization Algorithms

Sylvain Guilley , Karim Khalfallah , Victor Lomne , Jean-Luc Danger
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.100-115, ⟨10.1007/978-3-642-21040-2_7⟩
Conference papers hal-01573296v1
Image document

Domain Experts Tailoring Interaction to Users – An Evaluation Study

Helena Lindgren , Patrik J. Winnberg , Peter Winnberg
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.644-661, ⟨10.1007/978-3-642-23765-2_44⟩
Conference papers hal-01591800v1
Image document

Speaking to See: A Feasibility Study of Voice-Assisted Visual Search

Victor Kaptelinin , Herje Wåhlen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.444-451, ⟨10.1007/978-3-642-23774-4_37⟩
Conference papers hal-01590557v1
Image document

Using testing techniques for vulnerability detection in C programs

Amel Mammar , Ana Rosa Cavalli , Willy Ronald Jimenez Freitez , Wissam Mallouli , Edgardo Montes de Oca
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers hal-01303013v1
Image document

Study on the Usability of a Haptic Menu for 3D Interaction

Giandomenico Caruso , Elia Gatti , Monica Bordegoni
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.186-193, ⟨10.1007/978-3-642-23771-3_15⟩
Conference papers hal-01590854v1
Image document

Playing with Tactile Feedback Latency in Touchscreen Interaction: Two Approaches

Topi Kaaresoja , Eve Hoggan , Emilia Anttila
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.554-571, ⟨10.1007/978-3-642-23771-3_42⟩
Conference papers hal-01590872v1
Image document

IntelliTilt: An Enhanced Tilt Interaction Technique for Mobile Map-Based Applications

Bradley Van Tonder , Janet Wesson
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.505-523, ⟨10.1007/978-3-642-23771-3_38⟩
Conference papers hal-01590875v1
Image document

Accessible Design in the Digital World

Gerhard Weber , Helen Petrie , Jenny Darzentas
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.720-721, ⟨10.1007/978-3-642-23768-3_132⟩
Conference papers hal-01596908v1
Image document

Re-framing HCI through Local and Indigenous Perspectives

José Abdelnour-Nocera , Masaaki Kurosu , Torkil Clemmensen , Nic Bidwell , Ravi Vatrapu , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.738-739, ⟨10.1007/978-3-642-23768-3_141⟩
Conference papers hal-01596946v1
Image document

NeuroCast: Adaptive Multi-source P2P Video Streaming Application for Wireless Networks

Carlos Gañán , Juan Caubet , Sergi Reñé , Jorge Mata-Díaz , Juan J. Alins , et al.
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.272-284, ⟨10.1007/978-3-642-21560-5_23⟩
Conference papers hal-01583662v1
Image document

The Treatment of Temporal Data in Web-Based Reservation Systems: An Inspection-Based Evaluation

Gerhard F. Knolmayer , Lukas E. Helfenstein , Viola Sini
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.323-339, ⟨10.1007/978-3-642-23768-3_27⟩
Conference papers hal-01597006v1
Image document

Designing a Context-Aware Architecture for Emotionally Engaging Mobile Storytelling

Fabio Pittarello
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.144-151, ⟨10.1007/978-3-642-23774-4_14⟩
Conference papers hal-01590545v1
Image document

The Context of Coordinating Groups in Dynamic Mobile Networks

Christine Julien
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.49-64, ⟨10.1007/978-3-642-21464-6_4⟩
Conference papers hal-01582998v1
Image document

Pupillary Response Based Cognitive Workload Measurement under Luminance Changes

Jie Xu , Yang Wang , Fang Chen , Eric Choi
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.178-185, ⟨10.1007/978-3-642-23771-3_14⟩
Conference papers hal-01590857v1
Image document

Forensic Leak Detection for Business Process Models

Rafael Accorsi , Claus Wonnemann
7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.101-113, ⟨10.1007/978-3-642-24212-0_8⟩
Conference papers hal-01569546v1
Image document

Extracting Evidence Related to VoIP Calls

David Irwin , Jill Slay
7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.221-228, ⟨10.1007/978-3-642-24212-0_17⟩
Conference papers hal-01569552v1
Image document

On the Uplink Performance of TCP in Multi-rate 802.11 WLANs

Naeem Khademi , Michael Welzl , Renato Lo Cigno
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.368-378, ⟨10.1007/978-3-642-20798-3_28⟩
Conference papers hal-01597975v1
Image document

Smart Homes or Smart Occupants? Supporting Aware Living in the Home

Lyn Bartram , Johnny Rodgers , Rob Woodbury
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.52-64, ⟨10.1007/978-3-642-23771-3_5⟩
Conference papers hal-01590844v1
Image document

Exploring How Tangible Tools Enable Collaboration in a Multi-touch Tabletop Game

Tess Speelpenning , Alissa N. Antle , Tanja Doering , Elise van Den Hoven
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.605-621, ⟨10.1007/978-3-642-23771-3_45⟩
Conference papers hal-01590879v1
Image document

Enhancing Peer-to-Peer Traffic Locality through Selective Tracker Blocking

Haiyang Wang , Feng Wang , Jiangchuan Liu
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.13-24, ⟨10.1007/978-3-642-20798-3_2⟩
Conference papers hal-01597980v1
Image document

Measure to Improve: A Study of eParticipation in Frontrunner Dutch Municipalities

Anne Veenstra , Marijn Janssen , Andreas Boon
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.157-168, ⟨10.1007/978-3-642-23333-3_14⟩
Conference papers hal-01589368v1
Image document

Characterization of Power-Aware Reconfiguration in FPGA-Based Networking Hardware

Sándor Plósz , István Moldován , László Kántor , Tuan Anh Trinh
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.281-290, ⟨10.1007/978-3-642-23041-7_27⟩
Conference papers hal-01587860v1