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

Filter your results

745 results
Deposit type : Fulltext
Page :
sorted by
Image document

PolemicTweet: Video Annotation and Analysis through Tagged Tweets

 Samuel Huron , Petra Isenberg , Jean-Daniel Fekete
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Heidelberg, Germany. pp.135-152, ⟨10.1007/978-3-642-40480-1_9⟩
Conference papers hal-00817591v1
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

Modeless Pointing with Low-Precision Wrist Movements

 Theophanis Tsandilas , Emmanuel Dubois , Mathieu Raynal
14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers hal-00821078v2
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

Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones

 Nicolas Haderer , Romain Rouvoy , Lionel Seinturier
13th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.43-56, ⟨10.1007/978-3-642-38541-4_4⟩
Conference papers hal-00804114v1
Image document

Towards a communication system for people with athetoid cerebral palsy

 Yohan Guerrier , Christophe Kolski , Franck Poirier
International Conference on Human-Computer Interaction - Interact 2013, Sep 2013, Cap Town, South Africa. 8 p
Conference papers hal-00826041v1
Image document

Code-Based Identification and Signature Schemes in Software

 Sidi Mohamed El Yousfi Alaoui , Pierre-Louis Cayrel , Rachid El Bansarkhani , Gerhard Hoffmann
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.122-136
Conference papers hal-00864936v1
Image document

Monitoring and Security for the Internet of Things

 Anthéa Mayzaud , Rémi Badonnel , Isabelle Chrisment
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.37-40, ⟨10.1007/978-3-642-38998-6_4⟩
Conference papers hal-00876216v1
Image document

Semantic Subtyping for Objects and Classes

 Ornela Dardha , Daniele Gorla , Daniele Varacca
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, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers hal-00909299v1
Image document

Cache Management Strategy for CCN based on Content Popularity

 César Bernardini , Thomas Silverston , Olivier Festor
7th International Conference on Autonomous Infrastructure (AIMS), IFIP, Jun 2013, Barcelonne, Spain. pp.92-95, ⟨10.1007/978-3-642-38998-6_12⟩
Conference papers hal-00929736v1
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

 Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1
Image document

Model-Based Self-Explanatory UIs for free, but are they valuable?

 Alfonso García Frey , Gaëlle Calvary , Sophie Dupuy-Chessa , Nadine Mandran
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.144-161, ⟨10.1007/978-3-642-40477-1_9⟩
Conference papers hal-00953351v1
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

EZ: Towards Efficient Asynchronous Protocol Gateway Construction

 Yérom-David Bromberg , Floréal Morandat , Laurent Réveillère , Gaël Thomas
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩
Conference papers hal-00991335v1
Image document

Towards a Pervasive Access Control within Video Surveillance Systems

 Dana Al Kukhun , Dana Codreanu , Ana-Maria Manzat , Florence Sèdes
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.289-303, ⟨10.1007/978-3-642-40511-2_20⟩
Conference papers hal-01217394v1
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

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

Automated Trading for Smart Grids: Can It Work?

 Barry Laffoy , Saraansh Dave , Mahesh Sooriyabandara
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.1-13, ⟨10.1007/978-3-642-54140-7_1⟩
Conference papers hal-01291487v1
Image document

A Semantic-Based Algorithm for Data Dissemination in Opportunistic Networks

 Marco Conti , Matteo Mordacchini , Andrea Passarella , Liudmila Rozanova
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.14-26, ⟨10.1007/978-3-642-54140-7_2⟩
Conference papers hal-01291488v1
Image document

Characteristic Analysis of Response Threshold Model and Its Application for Self-organizing Network Control

 Takuya Iwai , Naoki Wakamiya , Masayuki Murata
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.27-38, ⟨10.1007/978-3-642-54140-7_3⟩
Conference papers hal-01291490v1
Image document

Emergence of Global Speed Patterns in a Traffic Scenario

 Richard Holzer , Hermann De Meer , Cristina Beltran Ruiz
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.39-53, ⟨10.1007/978-3-642-54140-7_4⟩
Conference papers hal-01291492v1
Image document

On the Efficiency of Information-Assisted Search for Parking Space: A Game-Theoretic Approach

 Evangelia Kokolaki , Merkourios Karaliopoulos , Ioannis Stavrakakis
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.54-65, ⟨10.1007/978-3-642-54140-7_5⟩
Conference papers hal-01291494v1
Image document

The Relative Disagreement Model of Opinion Dynamics: Where Do Extremists Come From?

 Michael Meadows , Dave Cliff
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.66-77, ⟨10.1007/978-3-642-54140-7_6⟩
Conference papers hal-01291499v1
Image document

Modeling the Emergence of a New Language: Naming Game with Hybridization

 Lorenzo Pucci , Pietro Gravino , Vito P. Servedio
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.78-89, ⟨10.1007/978-3-642-54140-7_7⟩
Conference papers hal-01291501v1
Image document

Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-organizing Systems

 Gerrit Anders , Florian Siefert , Jan-Philipp Steghöfer , Wolfgang Reif
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.90-102, ⟨10.1007/978-3-642-54140-7_8⟩
Conference papers hal-01291502v1
Image document

Addressing Phase Transitions in Wireless Networking Optimization

 Maria Michalopoulou , Petri Mähönen
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.103-114, ⟨10.1007/978-3-642-54140-7_9⟩
Conference papers hal-01291504v1
Image document

On the Local Approximations of Node Centrality in Internet Router-Level Topologies

 Panagiotis Pantazopoulos , Merkourios Karaliopoulos , Ioannis Stavrakakis
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.115-126, ⟨10.1007/978-3-642-54140-7_10⟩
Conference papers hal-01291505v1
Image document

Modelling Critical Node Attacks in MANETs

 Dongsheng Zhang , James G. Sterbenz
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.127-138, ⟨10.1007/978-3-642-54140-7_11⟩
Conference papers hal-01291506v1
Image document

Evolution as a Tool to Design Self-organizing Systems

 István Fehérvári , Wilfried Elmenreich
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.139-144, ⟨10.1007/978-3-642-54140-7_12⟩
Conference papers hal-01291509v1
Image document

Self-organization Promotes the Evolution of Cooperation with Cultural Propagation

 Luis Enrique Cortés-Berrueco , Carlos Gershenson , Christopher R. Stephens
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.145-150, ⟨10.1007/978-3-642-54140-7_13⟩
Conference papers hal-01291511v1
Page :