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

Filter your results

773 results
Deposit type : Fulltext
Image document

An Ontology of eGovernment

Arkalgud Ramaprasad , Aurora Sánchez-Ortiz , Thant Syn
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.258-269, ⟨10.1007/978-3-319-22479-4_20⟩
Conference papers hal-01412276v1
Image document

Space for Seriousness?

Heinrich Söbke
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.482-489, ⟨10.1007/978-3-319-24589-8_44⟩
Conference papers hal-01758438v1
Image document

Replication of Recovery Log — An Approach to Enhance SOA Reliability

Anna Kobusińska , Dariusz Wawrzyniak
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.152-157, ⟨10.1007/978-3-319-19129-4_12⟩
Conference papers hal-01775030v1
Image document

The Ideal Energy of Classical Lattice Dynamics

Norman Margolus
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.169-180, ⟨10.1007/978-3-662-47221-7_13⟩
Conference papers hal-01442472v1
Image document

Dynamic Causality in Event Structures

Youssef Arbach , David Karcher , Kirstin Peters , Uwe Nestmann
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.83-97, ⟨10.1007/978-3-319-19195-9_6⟩
Conference papers hal-01767322v1
Image document

From Event-B Models to Dafny Code Contracts

Mohammadsadegh Dalvandi , Michael Butler , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers hal-01446608v1
Image document

A GRAPH-BASED INVESTIGATION OF BITCOIN TRANSACTIONS

Chen Zhao , Yong Guan
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.79-95, ⟨10.1007/978-3-319-24123-4_5⟩
Conference papers hal-01449078v1
Image document

The Vocal Range of Movies - Sonifying Gender Representation in Film

Marcello Maureira , Lisa E. Rombout
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.545-550, ⟨10.1007/978-3-319-24589-8_54⟩
Conference papers hal-01758454v1
Image document

Gestu-Wan - An Intelligible Mid-Air Gesture Guidance System for Walk-up-and-Use Displays

Gustavo Rovelo , Donald Degraen , Davy Vanacken , Kris Luyten , Karin Coninx
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.368-386, ⟨10.1007/978-3-319-22668-2_28⟩
Conference papers hal-01599876v1
Image document

Exploring Deep Content in Physical Rehabilitation Games

Niels Quinten , Steven Malliet , Karin Coninx
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.433-438, ⟨10.1007/978-3-319-24589-8_36⟩
Conference papers hal-01758451v1
Image document

TV Interaction Beyond the Button Press

Regina Bernhaupt , Antoine Desnos , Michael Pirker , Daniel Schwaiger
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.412-419, ⟨10.1007/978-3-319-22668-2_31⟩
Conference papers hal-01599878v1
Image document

A Novel Technique For Human Face Recognition Using Fractal Code and Bi-dimensional Subspace

Benouis Mohamed , Benkkadour Mohamed Kamel , Tlmesani Redwan , Senouci Mohamed
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.31-42, ⟨10.1007/978-3-319-19578-0_3⟩
Conference papers hal-01789950v1
Image document

Gamification of Online Surveys: Design Process, Case Study, and Evaluation

Johannes Harms , Stefan Biegler , Christoph Wimmer , Karin Kappel , Thomas Grechenig
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.219-236, ⟨10.1007/978-3-319-22701-6_16⟩
Conference papers hal-01599660v1
Image document

Glass+Skin: An Empirical Evaluation of the Added Value of Finger Identification to Basic Single-Touch Interaction on Touch Screens

Quentin Roy , Yves Guiard , Gilles Bailly , Éric Lecolinet , Olivier Rioul , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.55-71, ⟨10.1007/978-3-319-22723-8_5⟩
Conference papers hal-01202852v1
Image document

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

Luca Padovani , Tzu-Chun Chen , Andrea Tosatto
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩
Conference papers hal-01774941v1
Image document

A Role-Switching Mechanic for Reflective Decision-Making Game

Thomas T.C.C. Constant , Axel Buendia , Catherine Rolland , Stéphane Natkin
14th International Conference on Entertainment Computing (ICEC), Letizia Jaccheri; Konstantinos Chorianopoulos, Sep 2015, Trondheim, Norway. pp.417-423, ⟨10.1007/978-3-319-24589-8_34⟩
Conference papers hal-01197401v1
Image document

AirDisplay: Experimenting with Air Flow as a Communication Medium

Omar Mowafi , Mohamed Khamis , Wael Abouelsaadat
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.316-323, ⟨10.1007/978-3-319-22701-6_23⟩
Conference papers hal-01599651v1
Image document

Automatic Privacy Classification of Personal Photos

Daniel Buschek , Moritz Bader , Emanuel Von Zezschwitz , Alexander De Luca
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.428-435, ⟨10.1007/978-3-319-22668-2_33⟩
Conference papers hal-01599867v1
Image document

QoE-Centric Management of Advanced Multimedia Services

Stefano Petrangeli , Filip De Turck
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.50-55, ⟨10.1007/978-3-319-20034-7_5⟩
Conference papers hal-01410142v1
Image document

Exact Reasoning over Imprecise Ontologies

Mustapha Bourahla
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.355-366, ⟨10.1007/978-3-319-19578-0_29⟩
Conference papers hal-01789967v1
Image document

Multiple Guide Trees in a Tabu Search Algorithm for the Multiple Sequence Alignment Problem

Tahar Mehenni
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.141-152, ⟨10.1007/978-3-319-19578-0_12⟩
Conference papers hal-01789954v1
Image document

Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy

Stéphane Le Roux
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.147-163, ⟨10.1007/978-3-319-28678-5_11⟩
Conference papers hal-01446258v1
Image document

A GPSR Enhancement Mechanism for Routing in VANETs

C. Bouras , V. Kapoulas , E. Tsanai
13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.94-107, ⟨10.1007/978-3-319-22572-2_7⟩
Conference papers hal-01728803v1
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

A Hybrid Model to Improve Filtering Systems

Kharroubi Sahraoui , Dahmani Youcef , Nouali Omar
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.303-314, ⟨10.1007/978-3-319-19578-0_25⟩
Conference papers hal-01789930v1
Image document

A version of LEACH Adapted to the Lognormal Shadowing Model

Chifaa Tabet Hellel , Mohamed Lehsaini , Hervé Guyennet
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.465-475, ⟨10.1007/978-3-319-19578-0_38⟩
Conference papers hal-01789956v1
Image document

Region-Edge Cooperation for Image Segmentation Using Game Theory

Omar Boudraa , Karima Benatchba
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.515-526, ⟨10.1007/978-3-319-19578-0_42⟩
Conference papers hal-01789977v1
Image document

Experiences of Teaching HCI to a Multidisciplinary Cohort of Computing and Design Students

Omar Mubin , Abdullah Al Mahmud , Suleman Shahid
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.542-545, ⟨10.1007/978-3-319-22723-8_57⟩
Conference papers hal-01610774v1
Image document

Swimming the Channels: An Analysis of Online Archival Reference Enquiries

Joseph Pugh , Christopher Power
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.99-115, ⟨10.1007/978-3-319-22698-9_8⟩
Conference papers hal-01609418v1
Image document

Deploying Robots in a Production Environment: A Study on Temporal Transitions of Workers’ Experiences

Daniela Wurhofer , Thomas Meneweger , Verena Fuchsberger , Manfred Tscheligi
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.203-220, ⟨10.1007/978-3-319-22698-9_14⟩
Conference papers hal-01609428v1