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

Filter your results

796 results
Deposit type : Fulltext
Deposit type : Annex
Page :
sorted by
Image document

Timely Dataflow: A Model

 Martín Abadi , Michael Isard
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.131-145, ⟨10.1007/978-3-319-19195-9_9⟩
Conference papers hal-01767326v1

Human-Computer Interaction – INTERACT 2015

 Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque , et al.
LNCS-9299, 2015, Lecture Notes in Computer Science, 978-3-319-22722-1. ⟨10.1007/978-3-319-22723-8⟩
Books hal-01610767v1

Human-Computer Interaction – INTERACT 2015

 Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque , et al.
LNCS-9297, 2015, Lecture Notes in Computer Science, 978-3-319-22667-5. ⟨10.1007/978-3-319-22668-2⟩
Books hal-01599894v1

Human-Computer Interaction – INTERACT 2015

 Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque , et al.
LNCS-9298, 2015, Lecture Notes in Computer Science, 978-3-319-22697-2. ⟨10.1007/978-3-319-22698-9⟩
Books hal-01609409v1

Human-Computer Interaction – INTERACT 2015

 Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque , et al.
LNCS-9296, 2015, Lecture Notes in Computer Science, 978-3-319-22700-9. ⟨10.1007/978-3-319-22701-6⟩
Books hal-01599654v1
Image document

A Survey on Testing for Cyber Physical System

 Sara Abbaspour Asadollah , Rafia Inam , Hans Hansson
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.194-207, ⟨10.1007/978-3-319-25945-1_12⟩
Conference papers hal-01470149v1
Image document

Design, Innovation and Respect in the Global South

 José Abdelnour-Nocera , Chris Csikszentmihályi , Torkil Clemmensen , Christian Sturm
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.630-632, ⟨10.1007/978-3-319-22723-8_79⟩
Conference papers hal-01610849v1
Image document

Tick that Box: Interactive Paper Documents

 Yomna Abdelrahman , Thomas Kubitza , Katrin Wolf , Norman Pohl , Albrecht Schmidt
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.376-383, ⟨10.1007/978-3-319-22698-9_25⟩
Conference papers hal-01609382v1
Image document

Usability Testing Practice at MIMOS Usability Lab

 Norfarhana Abdollah , Ashok Sivaji , Masitah Ghazali
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.628-629, ⟨10.1007/978-3-319-22723-8_78⟩
Conference papers hal-01610796v1
Image document

Analyzing Brain Waves for Activity Recognition of Learners

 Hiromichi Abe , Kazuya Kinoshita , Kensuke Baba , Shigeru Takano , Kazuaki Murakami
3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.64-73, ⟨10.1007/978-3-319-24315-3_7⟩
Conference papers hal-01466252v1
Image document

Consumers’ Perceptions of Social Commerce Adoption in Saudi Arabia

 Salma S. Abed , Yogesh K. Dwivedi , Michael D. Williams
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.133-143, ⟨10.1007/978-3-319-25013-7_11⟩
Conference papers hal-01448034v1
Image document

Performance Analysis and Tuning for Parallelization of Ant Colony Optimization by Using OpenMP

 Ahmed A. Abouelfarag , Walid Mohamed Aly , Ashraf Gamal Elbialy
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.73-85, ⟨10.1007/978-3-319-24369-6_6⟩
Conference papers hal-01444506v1
Image document

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

 Rui Abreu , Simon Ausserlechner , Birgit Hofer , Franz Wotawa
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.124-140, ⟨10.1007/978-3-319-25945-1_8⟩
Conference papers hal-01470160v1
Image document

Perceptions of Teachers and Guardians on the Electronic Record in the School-Family Communication

 António Abreu , Álvaro Rocha , Manuel Pérez Cota
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.48-62, ⟨10.1007/978-3-319-25013-7_5⟩
Conference papers hal-01448069v1
Image document

Mediating Citizen-Sourcing of Open Government Applications – A Design Science Approach

 Mai Abu-El Seoud , Ralf Klischewski
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.118-129, ⟨10.1007/978-3-319-22479-4_9⟩
Conference papers hal-01412243v1
Image document

Invariant Preserving Middlebox Traversal

 Ahmed Abujoda , Panagiotis Papadimitriou
13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.139-150, ⟨10.1007/978-3-319-22572-2_10⟩
Conference papers hal-01728812v1
Image document

Monitoring Internet Censorship with UBICA

 Giuseppe Aceto , Alessio Botta , Antonio Pescapè , Nick Feamster , M. Faheem Awan , et al.
7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.143-157, ⟨10.1007/978-3-319-17172-2_10⟩
Conference papers hal-01411191v1
Image document

Mobile System for Optical Music Recognition and Music Sound Generation

 Julia Adamska , Mateusz Piecuch , Mateusz Podgórski , Piotr Walkiewicz , Ewa Lukasik
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.571-582, ⟨10.1007/978-3-319-24369-6_48⟩
Conference papers hal-01444498v1
Image document

Network Structure and Activity in Boolean Networks

 Abhijin Adiga , Hilton Galyean , Chris J. Kuhlman , Michael Levet , Henning S. Mortveit , et al.
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.210-223, ⟨10.1007/978-3-662-47221-7_16⟩
Conference papers hal-01442474v1
Image document

Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems

 Abhijin Adiga , Chris J. Kuhlman , Henning S. Mortveit , Sichao Wu
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.59-70, ⟨10.1007/978-3-662-47221-7_5⟩
Conference papers hal-01442482v1
Image document

Analyzing Mutable Checkpointing via Invariants

 Deepanker Aggarwal , Astrid Kiehn
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.176-190, ⟨10.1007/978-3-319-24644-4_12⟩
Conference papers hal-01446599v1

Wired/Wireless Internet Communications

 Mari Carmen Aguayo-Torres , Gerardo Gómez , Javier Poncela
Springer International Publishing, LNCS-9071, 2015, Lecture Notes in Computer Science, 978-3-319-22571-5. ⟨10.1007/978-3-319-22572-2⟩
Books hal-01728798v1
Image document

Design and Evaluation of Mobile Learning Applications for Autistic Children in Pakistan

 Muneeb Imtiaz Ahmad , Suleman Shahid
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.436-444, ⟨10.1007/978-3-319-22701-6_32⟩
Conference papers hal-01599627v1
Image document

Wayfinding Behavior in India

 Naveed Ahmed
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.522-530, ⟨10.1007/978-3-319-22668-2_40⟩
Conference papers hal-01599893v1
Image document

Small Community Size of Private SNS for Bonding Relationship: Development of a Research Framework

 Hyeonjung Ahn , Sangwon Lee
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.594-598, ⟨10.1007/978-3-319-22723-8_69⟩
Conference papers hal-01610857v1
Image document

Interactive Check System for Facilitating Self-awareness of Dorm Students in Upper Secondary Education

 Shigenori Akamatsu , Masanobu Yoshida , Hironobu Satoh , Takumi Yamaguchi
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.569-572, ⟨10.1007/978-3-319-22723-8_63⟩
Conference papers hal-01610799v1

Information Security Theory and Practice

 Raja Naeem Akram , Sushil Jajodia
Raja Naeem Akram; Sushil Jajodia. Springer, LNCS-9311, 2015, Information Security Theory and Practice, 978-3-319-24017-6. ⟨10.1007/978-3-319-24018-3⟩
Books hal-01442559v1
Image document

Comparing Fatigue When Using Large Horizontal and Vertical Multi-touch Interaction Displays

 Shiroq Al-Megren , Ahmed Kharrufa , Jonathan Hook , Amey Holden , Selina Sutton , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.156-164, ⟨10.1007/978-3-319-22723-8_13⟩
Conference papers hal-01610843v1
Image document

Sanitization of Call Detail Records via Differentially-Private Bloom Filters

 Mohammad Alaggan , Sébastien Gambs , Stan Matwin , Mohammed Tuhin
29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.223-230, ⟨10.1007/978-3-319-20810-7_15⟩
Conference papers hal-01745827v1
Image document

Adoption of Mobile Banking in Jordan: Exploring Demographic Differences on Customers’ Perceptions

 Ali Abdallah Alalwan , Nripendra P. Rana , Yogesh K. Dwivedi , Banita Lal , Michael D. Williams
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.13-23, ⟨10.1007/978-3-319-25013-7_2⟩
Conference papers hal-01448054v1
Page :