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

Filter your results

60 results
Image document

Service Migration Protocol for NFC Links

Anders Nickelsen , Miquel Martin , Hans-Peter Schwefel
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.41-50, ⟨10.1007/978-3-642-13971-0_5⟩
Conference papers hal-01056482v1
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1
Image document

Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals

Anders Bruun , Janne Juul Jensen , Mikael B. Skov , Jan Stage
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.1-18, ⟨10.1007/978-3-662-44811-3_1⟩
Conference papers hal-01405060v1
Image document

Usability Engineering in the Wild: How Do Practitioners Integrate Usability Engineering in Software Development?

Nis Bornoe , Jan Stage
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.199-216, ⟨10.1007/978-3-662-44811-3_12⟩
Conference papers hal-01405077v1
Image document

Creating and Using Personas in Software Development: Experiences from Practice

Jane Billestrup , Jan Stage , Anders Bruun , Lene Nielsen , Kira S. Nielsen
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.251-258, ⟨10.1007/978-3-662-44811-3_16⟩
Conference papers hal-01405082v1
Image document

Usability of Single- and Multi-factor Authentication Methods on Tabletops: A Comparative Study

Anders Bruun , Kenneth Jensen , Dianna Kristensen
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.299-306, ⟨10.1007/978-3-662-44811-3_22⟩
Conference papers hal-01405090v1
Image document

A Participatory Perspective on Cross-Cultural Design

Kasper Rodil
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.30-46, ⟨10.1007/978-3-642-54894-9_4⟩
Conference papers hal-01414651v1
Image document

Attack Tree Generation by Policy Invalidation

Marieta Georgieva Ivanova , Christian W. Probst , René Rydhof Hansen , Florian Kammüller
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.249-259, ⟨10.1007/978-3-319-24018-3_16⟩
Conference papers hal-01442547v1

Testing Software and Systems

Brian Nielsen , Carsten Weise
Springer, LNCS-7641, 2012, Lecture Notes in Computer Science, 978-3-642-34690-3. ⟨10.1007/978-3-642-34691-0⟩
Books hal-01482425v1
Image document

Quantitative Modal Transition Systems

Kim G. Larsen , Axel Legay
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers hal-01485977v1
Image document

Homestead Creator: Using Card Sorting in Search for Culture-Aware Categorizations of Interface Objects

Kasper Rodil , Matthias Rehm , Heike Winschiers-Theophilus
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.437-444, ⟨10.1007/978-3-642-40483-2_30⟩
Conference papers hal-01497511v1
Image document

Robots for Real: Developing a Participatory Design Framework for Implementing Educational Robots in Real-World Learning Environments

Lykke Brogaard Bertel , Dorte Malig Rasmussen , Ellen Christiansen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.437-444, ⟨10.1007/978-3-642-40480-1_29⟩
Conference papers hal-01501761v1
Image document

Don’t Text While Driving: The Effect of Smartphone Text Messaging on Road Safety during Simulated Driving

Kaspar Lyngsie , Martin S. Pedersen , Jan Stage , Kim F. Vestergaard
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.546-563, ⟨10.1007/978-3-642-40477-1_35⟩
Conference papers hal-01504909v1
Image document

F-Formations in Cooking Together: A Digital Ethnography Using YouTube

Jeni Paay , Jesper Kjeldskov , Mikael B. Skov , Kenton O’hara
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.37-54, ⟨10.1007/978-3-642-40498-6_3⟩
Conference papers hal-01510514v1
Image document

Going Global with Personas

Lene Nielsen , Kira Storgaard Nielsen , Jan Stage , Jane Billestrup
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.350-357, ⟨10.1007/978-3-642-40498-6_27⟩
Conference papers hal-01510516v1
Image document

Usability Evaluation in a Digitally Emerging Country: A Survey Study

Fulvio Lizano , Maria Marta Sandoval , Anders Bruun , Jan Stage
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.298-305, ⟨10.1007/978-3-642-40498-6_22⟩
Conference papers hal-01510556v1
Image document

A Collaborative Approach to Botnet Protection

Matija Stevanovic , Kasper Revsbech , Jens Myrup Pedersen , Robin Sharp , Christian Damsgaard Jensen
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.624-638, ⟨10.1007/978-3-642-32498-7_47⟩
Conference papers hal-01542425v1
Image document

Techno-economic comparison of next-generation access networks for the French market

Konrad Walczyk , Annie Gravey
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.136-147, ⟨10.1007/978-3-642-32808-4_13⟩
Conference papers hal-00737172v1
Image document

Developing Applications with Aspect-Oriented Change Realization

Valentino Vranić , Michal Bebjak , Radoslav Menkyna , Peter Dolog
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.192-206, ⟨10.1007/978-3-642-22386-0_15⟩
Conference papers hal-01572548v1
Image document

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Goran Frehse , Kim G. Larsen , Marius Mikučionis , Brian Nielsen
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
Conference papers hal-01583916v1
Image document

Model-Based Testing of Industrial Transformational Systems

Petur Olsen , Johan Foederer , Jan Tretmans
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.131-145, ⟨10.1007/978-3-642-24580-0_10⟩
Conference papers hal-01583924v1
Image document

Decoding Algorithms for Random Linear Network Codes

Janus Heide , Morten V. Pedersen , Frank Fitzek
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.129-136, ⟨10.1007/978-3-642-23041-7_13⟩
Conference papers hal-01587835v1
Image document

Kodo: An Open and Research Oriented Network Coding Library

Morten V. Pedersen , Janus Heide , Frank Fitzek
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.145-152, ⟨10.1007/978-3-642-23041-7_15⟩
Conference papers hal-01587857v1
Image document

Don’t Look at Me, I’m Talking to You: Investigating Input and Output Modalities for In-Vehicle Systems

Lars Holm Christiansen , Nikolaj Yde Frederiksen , Brit Susan Jensen , Alex Ranch , Mikael B. Skov , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.675-691, ⟨10.1007/978-3-642-23771-3_49⟩
Conference papers hal-01590843v1
Image document

A New Visualization Approach to Re-Contextualize Indigenous Knowledge in Rural Africa

Kasper Rodil , Heike Winschiers-Theophilus , Nicola J. Bidwell , Søren Eskildsen , Matthias Rehm , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.297-314, ⟨10.1007/978-3-642-23771-3_23⟩
Conference papers hal-01590863v1
Image document

Towards a Context Oriented Approach to Ethical Evaluation of Interactive Technologies

Sandra Burri Gram-Hansen , Henrik Schärfe , Jens Vilhelm Dinesen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-631, ⟨10.1007/978-3-642-23768-3_99⟩
Conference papers hal-01596939v1
Image document

Barefooted Usability Evaluation: Addressing the Mindset, Resources and Competences

Anders Bruun
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.374-377, ⟨10.1007/978-3-642-23768-3_36⟩
Conference papers hal-01596950v1
Image document

Mind the Gap! Comparing Retrospective and Concurrent Ratings of Emotion in User Experience Evaluation

Anders Bruun , Simon Ahm
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.237-254, ⟨10.1007/978-3-319-22701-6_17⟩
Conference papers hal-01599632v1
Image document

An Empirical Study of the Effects of Three Think-Aloud Protocols on Identification of Usability Problems

Anders Bruun , Jan Stage
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.159-176, ⟨10.1007/978-3-319-22668-2_14⟩
Conference papers hal-01599881v1
Image document

An Empirical Investigation of the Practices and Challenges Specific to International User Studies

Sabine Madsen , Lene Nielsen , Heidi Hautopp , Iben Jensen
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.132-148, ⟨10.1007/978-3-319-22698-9_10⟩
Conference papers hal-01609381v1