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

Filter your results

731 results
Deposit type : Fulltext
Image document

ReRide

Naveen Bagalkot , Tomas Sokoler , Riyaj Shaikh , Gaurav Singh , Anders Edelbo Lillie , et al.
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.420-423, ⟨10.1007/978-3-319-68059-0_43⟩
Conference papers hal-01679810v1
Image document

Increasing Presence in Virtual Reality with a Vibrotactile Grid Around the Head

Oliver Beren Kaul , Kevin Meier , Michael Rohs
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.289-298, ⟨10.1007/978-3-319-68059-0_19⟩
Conference papers hal-01679812v1
Image document

TTracker: Using Finger Detection to Improve Touch Typing Training

Elvin Kollie , Fernando Loizides , Thomas Hartley , Adam Worrallo
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.469-472, ⟨10.1007/978-3-319-68059-0_53⟩
Conference papers hal-01679825v1
Image document

Establishing Findings in Digital Forensic Examinations: A Case Study Method

Oluwasayo Oyelami , Martin Olivier
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.3-21, ⟨10.1007/978-3-319-67208-3_1⟩
Conference papers hal-01716393v1
Image document

Forensic Evaluation of an Amazon Fire TV Stick

Logan Morrison , Huw Read , Konstantinos Xynos , Iain Sutherland
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.63-79, ⟨10.1007/978-3-319-67208-3_4⟩
Conference papers hal-01716402v1
Image document

An Observational Study of Simultaneous and Sequential Interactions in Co-located Collaboration

Shuo Niu , D. Scott Mccrickard , Steve Harrison
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.163-183, ⟨10.1007/978-3-319-67687-6_12⟩
Conference papers hal-01717222v1
Image document

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)

Mathias Weber , Annette Bieniusa , Arnd Poetzsch-Heffter
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.236-242, ⟨10.1007/978-3-319-60225-7_17⟩
Conference papers hal-01658414v1
Image document

LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

Ali Parsai , Alessandro Murgia , Serge Demeyer
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.148-163, ⟨10.1007/978-3-319-68972-2_10⟩
Conference papers hal-01760857v1
Image document

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving

Nils Timm , Stefan Gruner , Prince Sibanda
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.244-259, ⟨10.1007/978-3-319-68972-2_16⟩
Conference papers hal-01760864v1
Image document

Exploring Offline Context and Consciousness in Everyday Social Media Use

Yubo Kou
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.126-135, ⟨10.1007/978-3-319-68059-0_8⟩
Conference papers hal-01679779v1
Image document

Culturally Informed Notions of Mobile Context Awareness - Lessons Learned from User-Centred Exploration of Concepts of Context and Context Awareness

Xiangang Qin , Chee-Wee Tan , Mads Bødker , Wei Sun , Torkil Clemmensen
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.420-440, ⟨10.1007/978-3-319-67744-6_27⟩
Conference papers hal-01676177v1
Image document

Situational Awareness: Detecting Critical Dependencies and Devices in a Network

Martin Laštovička , Pavel Čeleda
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.173-178, ⟨10.1007/978-3-319-60774-0_17⟩
Conference papers hal-01806054v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Designing Collaborative Co-Located Interaction for an Artistic Installation

Oussama Mubarak , Pierre Cubaud , David Bihanic , Samuel Bianchini,
INTERACT 2017: 16th IFIP TC 13 International Conference, Sep 2017, Mumbai, India. pp.223-231, ⟨10.1007/978-3-319-67744-6_15⟩
Conference papers hal-01596000v1
Image document

Towards Participatory Prototyping with Older Adults with and Without Cognitive Impairment: Challenges and Lessons Learned

Luã Marcelo Muriana , Heiko Hornung
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.344-363, ⟨10.1007/978-3-319-67744-6_23⟩
Conference papers hal-01676164v1
Image document

Making Flow-Based Security Detection Parallel

Marek Švepeš , Tomáš Čejka
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.3-15, ⟨10.1007/978-3-319-60774-0_1⟩
Conference papers hal-01806062v1
Image document

Extending Energetic Potential of Data Centers to Participate in Smart Grid Networks

Alexander Borgerding , Sven Rosinger
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.107-120, ⟨10.1007/978-3-319-66553-5_8⟩
Conference papers hal-01691197v1
Image document

Could People with Stereo-Deficiencies Have a Rich 3D Experience Using HMDs?

Sonia Cárdenas-Delgado , M.-Carmen Juan , Magdalena Méndez-López , Elena Pérez-Hernández
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.97-116, ⟨10.1007/978-3-319-67744-6_7⟩
Conference papers hal-01676166v1
Image document

In-the-moment and Beyond: Combining Post-hoc and Real-Time Data for the Study of Audience Perception of Electronic Music Performance

S. M. Astrid Bin , Fabio Morreale , Nick Bryan-Kinns , Andrew P. Mcpherson
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.263-281, ⟨10.1007/978-3-319-67744-6_18⟩
Conference papers hal-01676183v1
Image document

Two Are Better Than One: An Algorithm Portfolio Approach to Cloud Resource Management

Zoltán Ádám Mann
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.93-108, ⟨10.1007/978-3-319-67262-5_8⟩
Conference papers hal-01677616v1
Image document

Detecting and Ranking API Usage Pattern in Large Source Code Repository: A LFM Based Approach

Jitong Zhao , Yan Liu
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.41-56, ⟨10.1007/978-3-319-66808-6_4⟩
Conference papers hal-01677142v1
Image document

Categorizing Mobile Device Malware Based on System Side-Effects

Zachary Grimmett , Jason Staggs , Sujeet Shenoi
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.203-219, ⟨10.1007/978-3-319-67208-3_12⟩
Conference papers hal-01716405v1
Image document

Exploring Pervasive Entertainment Games to Construct Learning Paths

Jannicke Hauge , Ioana Andreea Stefan , Antoniu Stefan
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.196-201, ⟨10.1007/978-3-319-66715-7_21⟩
Conference papers hal-01771229v1
Image document

A Model of Machine Learning Based Interactive E-business Website

Germanas Budnikas
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.470-480, ⟨10.1007/978-3-319-59105-6_40⟩
Conference papers hal-01656266v1
Image document

Empowered and Informed: Participation of Children in HCI

Janet C. Read , Matthew Horton , Daniel Fitton , Gavin Sim
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.431-446, ⟨10.1007/978-3-319-67684-5_27⟩
Conference papers hal-01678479v1
Image document

Data Preparation as a Service Based on Apache Spark

Nivethika Mahasivam , Nikolay Nikolov , Dina Sukhobok , Dumitru Roman
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.125-139, ⟨10.1007/978-3-319-67262-5_10⟩
Conference papers hal-01677626v1
Image document

IVR Wizard of OZ Field Experiment with Less-Literate Telecom Customers

Deepak Ranjan Padhi , Rohit Gupta
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.492-495, ⟨10.1007/978-3-319-68059-0_58⟩
Conference papers hal-01679794v1
Image document

MyCarMobile: A Travel Assistance Emergency Mobile App for Deaf People

Tânia Rocha , Hugo Paredes , Diogo Soares , Benjamim Fonseca , João Barroso
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.56-65, ⟨10.1007/978-3-319-67744-6_4⟩
Conference papers hal-01676152v1
Image document

A Framework for Data-Driven Public Service Co-production

Maarja Toots , Keegan Mcbride , Tarmo Kalvet , Robert Krimmer , Efthimios Tambouris , et al.
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.264-275, ⟨10.1007/978-3-319-64677-0_22⟩
Conference papers hal-01702980v1
Image document

Container Combinatorics: Monads and Lax Monoidal Functors

Tarmo Uustalu
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.91-105, ⟨10.1007/978-3-319-68953-1_8⟩
Conference papers hal-01760638v1