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

Filter your results

760 results
Deposit type : Notice
Deposit type : Fulltext
Page :
sorted by
Image document

User Experience and Learning Experience in Online HCI Courses

 Saila Ovaska
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.447-454, ⟨10.1007/978-3-642-40498-6_34⟩
Conference papers hal-01510555v1
Image document

A Timed Component Algebra for Services

 Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
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.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

Enhance Biometric Database Privacy: Defining Privacy-Preserving Drawer Size Standard for the Setbase

 Benjamin Justus , Frédéric Cuppens , Nora Cuppens-Bouhlahia , Julien Bringer , Hervé Chabanne , et al.
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.274-281, ⟨10.1007/978-3-642-39256-6_19⟩
Conference papers hal-01159831v1
Image document

IPv6 Address Obfuscation by Intermediate Middlebox in Coordination with Connected Devices

 Florent Fourcot , Laurent Toutain , Stefan Köpsell , Frédéric Cuppens , Nora Cuppens-Boulahia
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.148-160, ⟨10.1007/978-3-642-40552-5_14⟩
Conference papers hal-01497012v1
Image document

Simplifying Remote Collaboration through Spatial Mirroring

 Fabian Hennecke , Simon Voelker , Maximilian Schenk , Hauke Schaper , Jan Borchers , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.624-631, ⟨10.1007/978-3-642-40477-1_41⟩
Conference papers hal-01504916v1
Image document

Mobile Movie Recommendations with Linked Data

 Vito Claudio Ostuni , Giosia Gentile , Tommaso Di Noia , Roberto Mirizzi , Davide Romito , et al.
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.400-415
Conference papers hal-01506768v1
Image document

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

 Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , Nobuko Yoshida
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, ⟨10.1007/978-3-642-38493-6_4⟩
Conference papers hal-01486034v1
Image document

Investigating Pointing Tasks across Angularly Coupled Display Areas

 Fabian Hennecke , Alexander De Luca , Ngo Huong Nguyen , Sebastian Boring , Andreas Butz
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.720-727, ⟨10.1007/978-3-642-40483-2_50⟩
Conference papers hal-01497474v1
Image document

Model Assisted Creativity Sessions for the Design of Mixed Interactive Systems: a Protocol Analysis

 Christophe Bortolaso , Emmanuel Dubois
14th International Conference on Human-Computer Interaction (INTERACT 2013), Sep 2013, Cap Town, South Africa. pp.126-143, ⟨10.1007/978-3-642-40477-1_8⟩
Conference papers hal-01264520v1
Image document

Storytelling in Visual Analytics Tools for Business Intelligence

 Micheline Elias , Marie-Aude Aufaure , Anastasia Bezerianos
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers hal-00817732v2
Image document

User Authentication for Mobile Devices

 Marcin Rogowski , Khalid Saeed , Mariusz Rybnik , Marek Tabedzki , Marcin Adamski
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.47-58, ⟨10.1007/978-3-642-40925-7_5⟩
Conference papers hal-01496111v1
Image document

A Comprehensive Study of the Usability of Multiple Graphical Passwords

 Soumyadeb Chowdhury , Ron Poet , Lewis Mackenzie
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.424-441, ⟨10.1007/978-3-642-40477-1_26⟩
Conference papers hal-01504899v1
Image document

Supporting Improved Maternity Care by Midwives: Design Opportunities and Lessons Learned

 Abdullah Al Mahmud , David V. Keyson
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.635-642, ⟨10.1007/978-3-642-40498-6_55⟩
Conference papers hal-01510507v1
Image document

Participatory Data Gathering for Public Sector Reuse: Lessons Learned from Traditional Initiatives

 Nathalie Stembert , Peter Conradie , Ingrid Mulder , Sunil Choenni
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.87-98, ⟨10.1007/978-3-642-40358-3_8⟩
Conference papers hal-01490924v1
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

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

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

FastCast: A Throughput- and Latency-Efficient Total Order Broadcast Protocol

 Gautier Berthou , Vivien Quéma
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.1-20, ⟨10.1007/978-3-642-45065-5_1⟩
Conference papers hal-01480785v1
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

Managing Personal Information across Multiple Devices: Challenges and Opportunities

 Simone Beets , Janet Wesson
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.185-192, ⟨10.1007/978-3-642-40483-2_13⟩
Conference papers hal-01497435v1

Building Community Collaboration

 Anicia N. Peters , Darelle Van Greunen , Heike Winschiers-Theophilus , Shilumbe Chivuno-Kuria , Kagonya Awori , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.778
Conference papers hal-01513826v1
Image document

Threshold Method of Detecting Long-Time TPM Synchronization

 Michał Dolecki , Ryszard Kozera
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.241-252, ⟨10.1007/978-3-642-40925-7_23⟩
Conference papers hal-01496071v1
Image document

Roadside Infrastructure Placement for Information Dissemination in Urban ITS Based on a Probabilistic Model

 Bo Xie , Geming Xia , Yingwen Chen , Ming Xu
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.322-331, ⟨10.1007/978-3-642-40820-5_27⟩
Conference papers hal-01513754v1
Image document

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

 Elham Ramezani , Natalia Sidorova , Christian Stahl
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩
Conference papers hal-01514666v1
Image document

Delta Modeling and Model Checking of Product Families

 Hamideh Sabouri , Ramtin Khosravi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers hal-01514656v1
Image document

A Generic Multi-layer Network Optimization Model with Demand Uncertainty

 Uwe Steglich , Thomas Bauschert , Christina Büsing , Manuel Kutschka
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.13-24, ⟨10.1007/978-3-642-40552-5_2⟩
Conference papers hal-01497029v1
Image document

An Effective Approach for Vocal Melody Extraction from Polyphonic Music on GPU

 Guangchao Yao , Yao Zheng , Limin Xiao , Li Ruan , Zhen Lin , et al.
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.284-297, ⟨10.1007/978-3-642-40820-5_24⟩
Conference papers hal-01513779v1
Image document

Human-Spreadsheet Interaction

 Andrea Kohlhase
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.571-578, ⟨10.1007/978-3-642-40498-6_47⟩
Conference papers hal-01510523v1
Image document

Push-Down Automata with Gap-Order Constraints

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Notes on the Topological Consequences of BGP Policy Routing on the Internet AS Topology

 Dávid Szabó , András Gulyás
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.274-281, ⟨10.1007/978-3-642-40552-5_25⟩
Conference papers hal-01497022v1
Page :