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

Filter your results

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

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Image document

Estimating Visual Comfort in Stereoscopic Displays Using Electroencephalography: A Proof-of-Concept

 Jérémy Frey , Aurélien Appriou , Fabien Lotte , Martin Hachet
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.354-362, ⟨10.1007/978-3-319-22723-8_28⟩
Conference papers hal-01157890v1
Image document

Continuous Mental Effort Evaluation during 3D Object Manipulation Tasks based on Brain and Physiological Signals

 Dennis Wobrock , Jérémy Frey , Delphine Graeff , Jean-Baptiste de La Rivière , Julien Castet , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.472-487, ⟨10.1007/978-3-319-22668-2_35⟩
Conference papers hal-01157896v1
Image document

Pointing in Spatial Augmented Reality from 2D Pointing Devices

 Renaud Gervais , Jérémy Frey , Martin Hachet
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.381-389, ⟨10.1007/978-3-319-22723-8_30⟩
Conference papers hal-01153647v1
Image document

Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud

 Anca Iordache , Eliya Buyukkaya , Guillaume Pierre
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.108-123, ⟨10.1007/978-3-319-19129-4_9⟩
Conference papers hal-01159024v1
Image document

Continuous Tactile Feedback for Motor-Imagery based Brain-Computer Interaction in a Multitasking Context

 Camille Jeunet , Chi Vi , Daniel Spelmezan , Bernard N'Kaoua , Fabien Lotte , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.488-505, ⟨10.1007/978-3-319-22701-6_36⟩
Conference papers hal-01159146v1
Image document

Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders

 Davide Frey , Anne-Marie Kermarrec , Christopher Maddock , Andreas Mauthe , Pierre-Louis Roman , et al.
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.51-65, ⟨10.1007/978-3-319-19129-4_5⟩
Conference papers hal-01138365v2
Image document

Cheap and Cheerful: Trading Speed and Quality for Scalable Social Recommenders

 Anne-Marie Kermarrec , François Taïani , Juan Manuel Tirado Martin
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), IFIP, Jun 2015, Grenoble, France. pp.138-151, ⟨10.1007/978-3-319-19129-4_11⟩
Conference papers hal-01170757v1
Image document

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

 Silvano Dal Zilio , Bernard Berthomieu
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers hal-01202799v1
Image document

Characterizing the Influence of Motion Parameters on Performance when Acquiring Moving Targets

 Alexandre Kouyoumdjian , Nicolas Ferey , Patrick Bourdot , Stéphane Huot
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.148-155, ⟨10.1007/978-3-319-22723-8_12⟩
Conference papers hal-01207511v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
Image document

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

A CRDT Supporting Selective Undo for Collaborative Text Editing

 Weihai Yu , Luc André , Claudia-Lavinia Ignat
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
Conference papers hal-01246212v1
Image document

Privacy in digital identity systems: models, assessment and user adoption

 Armen Khatchatourov , Maryline Laurent , Claire Levallois-Barth
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.273-290, ⟨10.1007/978-3-319-22479-4_21⟩
Conference papers hal-01283997v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

 Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers hal-01387758v1
Image document

Should I Stay or Should I Go? Selecting Between Touch and Mid-Air Gestures for Large-Display Interaction

 Mikkel Rønne Jakobsen , Yvonne Jansen , Sebastian Boring , Kasper Hornbæk
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.455-473, ⟨10.1007/978-3-319-22698-9_31⟩
Conference papers hal-01399088v1
Image document

Disruption-Free Link Wake-Up Optimisation for Energy Aware Networks

 Obinna Okonor , Ning Wang , Zhili Sun , Stylianos Georgoulas
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.3-16, ⟨10.1007/978-3-319-20034-7_1⟩
Conference papers hal-01410128v1
Image document

Towards the Description and Execution of Transitions in Networked Systems

 Alexander Frömmgen , Björn Richerzhagen , Julius Rückert , David Hausheer , Ralf Steinmetz , et al.
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.17-29, ⟨10.1007/978-3-319-20034-7_2⟩
Conference papers hal-01410138v1
Image document

A Network-Driven Multi-Access-Point Load-Balancing Algorithm for Large-Scale Public Hotspots

 Patrick Bosch , Bart Braem , Steven Latré
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.30-42, ⟨10.1007/978-3-319-20034-7_3⟩
Conference papers hal-01410140v1
Image document

SON Mechanism for Green Heterogeneous Cellular Networks

 Luis Alejandro Fletscher , Catalina Valencia , Juan Felipe Botero
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.45-49, ⟨10.1007/978-3-319-20034-7_4⟩
Conference papers hal-01410141v1
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

Towards a Fluid Cloud: An Extension of the Cloud into the Local Network

 Bart Spinnewyn , Steven Latré
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.61-65, ⟨10.1007/978-3-319-20034-7_7⟩
Conference papers hal-01410148v1
Image document

Measuring and Modeling Multipath TCP

 Viet-Hoang Tran , Ramin Sadre , Olivier Bonaventure
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.66-70, ⟨10.1007/978-3-319-20034-7_8⟩
Conference papers hal-01410150v1
Image document

Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic

 Gustav Šourek , Ondřej Kuželka , Filip Železný
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.73-86, ⟨10.1007/978-3-319-20034-7_9⟩
Conference papers hal-01410151v1
Image document

Using Application-Aware Flow Monitoring for SIP Fraud Detection

 Tomas Cejka , Vaclav Bartos , Lukas Truxa , Hana Kubatova
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.87-99, ⟨10.1007/978-3-319-20034-7_10⟩
Conference papers hal-01410154v1
Image document

Schengen Routing: A Compliance Analysis

 Daniel Dönni , Guilherme Sperb Machado , Christos Tsiaras , Burkhard Stiller
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.100-112, ⟨10.1007/978-3-319-20034-7_11⟩
Conference papers hal-01410156v1
Image document

How Asymmetric Is the Internet?

 Wouter De Vries , José Jair Santanna , Anna Sperotto , Aiko Pras
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.113-125, ⟨10.1007/978-3-319-20034-7_12⟩
Conference papers hal-01410157v1
Image document

Mitigating DDoS Attacks Using OpenFlow-Based Software Defined Networking

 Mattijs Jonker , Anna Sperotto
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.129-133, ⟨10.1007/978-3-319-20034-7_13⟩
Conference papers hal-01410159v1
Image document

Towards an Adaptive and Effective IDS Using OpenFlow

 Sebastian Seeber , Gabi Dreo Rodosek
9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.134-139, ⟨10.1007/978-3-319-20034-7_14⟩
Conference papers hal-01410161v1
Page :