Search - IFIP Open Digital Library Access content directly

Filter your results

2 027 results
Sub-domain level 1 : info.info-ni
Page :
sorted by
Image document

Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing

 Juan E. Tapiador , Mudhakar Srivatsa , John A. Clark , John A. Mcdermid
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.207-218, ⟨10.1007/978-3-642-23041-7_20⟩
Conference papers hal-01587851v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

The Stochastic Quality Calculus

 Kebin Zeng , Flemming Nielson , Hanne Riis Nielson
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩
Conference papers hal-01290076v1
Image document

Towards a Mobility-Supporting Incentive Scheme for Peer-to-Peer Content Distribution

 Matthias Wichtlhuber , David Hausheer
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.88-91, ⟨10.1007/978-3-642-38998-6_11⟩
Conference papers hal-01489957v1
Image document

Passive Remote Source NAT Detection Using Behavior Statistics Derived from NetFlow

 Sebastian Abt , Christian Dietz , Harald Baier , Slobodan Petrović
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.148-159, ⟨10.1007/978-3-642-38998-6_18⟩
Conference papers hal-01489964v1
Image document

Authentication with Time Features for Keystroke Dynamics on Touchscreens

 Matthias Trojahn , Florian Arndt , Frank Ortmeier
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.197-199, ⟨10.1007/978-3-642-40779-6_17⟩
Conference papers hal-01492821v1
Image document

Security of Features Describing the Visual Appearance of Handwriting Samples Using the Bio-hash Algorithm of Vielhauer against an Evolutionary Algorithm Attack

 Andreas Hasselberg , Rene Zimmermann , Christian Kraetzer , Tobias Scheidat , Claus Vielhauer , et al.
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.85-94, ⟨10.1007/978-3-642-40779-6_6⟩
Conference papers hal-01492835v1
Image document

On the Energy Inefficiency of MPTCP for Mobile Computing

 Mohammad Javad Shamani , Weiping Zhu , Saeid Rezaie
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.93-105, ⟨10.1007/978-3-319-33936-8_8⟩
Conference papers hal-01434870v1
Image document

Terminal–Side QoE Estimations for Cross–Layer Network Control

 Martín Varela , Jukka–pekka Laulajainen
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.140-149, ⟨10.1007/978-3-642-21560-5_12⟩
Conference papers hal-01583637v1
Image document

Link-Layer Based Anycast Routing for a Dynamic and Distributed Portal Selection in Wireless Mesh Networks

 A. Ariza-Quintana , A. Triviño-Cabrera , E. Casilari
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.374-385, ⟨10.1007/978-3-642-21560-5_31⟩
Conference papers hal-01583642v1
Image document

Analysis of Client Relay Network with Opportunistic Cooperation

 Sergey Andreev , Olga Galinina , Alexandra Lokhanova , Yevgeni Koucheryavy
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.247-258, ⟨10.1007/978-3-642-21560-5_21⟩
Conference papers hal-01583660v1
Image document

Conformance Testing with Respect to Partial-Order Specifications

 Gregor Von Bochmann
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.3-17, ⟨10.1007/978-3-319-47443-4_1⟩
Conference papers hal-01643719v1
Image document

Analysis of the Value of Public Geotagged Data from Twitter from the Perspective of Providing Situational Awareness

 Aragats Amirkhanyan , Christoph Meinel
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.545-556, ⟨10.1007/978-3-319-45234-0_48⟩
Conference papers hal-01702145v1
Image document

Developing a Conceptual Model for the Relationship Between Social Media Behavior, Negative Consumer Emotions and Brand Disloyalty

 Harri Jalonen , Jari Jussila
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.134-145, ⟨10.1007/978-3-319-45234-0_13⟩
Conference papers hal-01702174v1
Image document

The Intersection of Source, Message, and Recipient Characteristics on Information-Exchange Activity via Twitter

 Mohammad Alajmi , Huda Farhan
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.332-353, ⟨10.1007/978-3-319-45234-0_31⟩
Conference papers hal-01702208v1
Image document

Change Detection System for the Maintenance of Automated Testing

 Miroslav Bures
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.192-197, ⟨10.1007/978-3-662-44857-1_15⟩
Conference papers hal-01405287v1
Image document

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers hal-01657338v1
Image document

Simpler Coordination of JavaScript Web Workers

 Marco Krauweel , Sung-Shik Jongmans
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.40-58, ⟨10.1007/978-3-319-59746-1_3⟩
Conference papers hal-01657346v1
Image document

SCORe: A Scalable One-Copy Serializable Partial Replication Protocol

 Sebastiano Peluso , Paolo Romano , Francesco Quaglia
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.456-475, ⟨10.1007/978-3-642-35170-9_23⟩
Conference papers hal-01555547v1
Image document

SOFTScale: Stealing Opportunistically for Transient Scaling

 Anshul Gandhi , Timothy Zhu , Mor Harchol-Balter , Michael A. Kozuch
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.142-163, ⟨10.1007/978-3-642-35170-9_8⟩
Conference papers hal-01555559v1
Image document

Modularising Opacity Verification for Hybrid Transactional Memory

 Alasdair Armstrong , Brijesh Dongol
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.33-49, ⟨10.1007/978-3-319-60225-7_3⟩
Conference papers hal-01658416v1
Image document

Proving Opacity via Linearizability: A Sound and Complete Method

 Alasdair Armstrong , Brijesh Dongol , Simon Doherty
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.50-66, ⟨10.1007/978-3-319-60225-7_4⟩
Conference papers hal-01658425v1
Image document

A Methodology for the Development and Verification of Access Control Systems in Cloud Computing

 Antonios Gouglidis , Ioannis Mavridis
12th Conference on e-Business, e-Services, and e-Society (I3E), Apr 2013, Athens, Greece. pp.88-99, ⟨10.1007/978-3-642-37437-1_8⟩
Conference papers hal-01470549v1
Image document

Generating Checking Sequences for User Defined Fault Models

 Alexandre Petrenko , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers hal-01678955v1
Image document

Fault-Based Testing for Refinement in CSP

 Ana Cavalcanti , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers hal-01678973v1
Image document

Developing Honest Java Programs with Diogenes

 Nicola Atzei , Massimo Bartoletti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.52-61, ⟨10.1007/978-3-319-39570-8_4⟩
Conference papers hal-01432927v1
Image document

Reputation-Aware Learning for SLA Negotiation

 Mohamed Lamine Lamali , Dominique Barth , Johanne Cohen
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.80-88, ⟨10.1007/978-3-642-30039-4_10⟩
Conference papers hal-01533582v1
Image document

An Experimental Study on the Impact of Network Segmentation to the Resilience of Physical Processes

 Béla Genge , Christos Siaterlis
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.121-134, ⟨10.1007/978-3-642-30045-5_10⟩
Conference papers hal-01531118v1
Image document

Blockchain Based Access Control

 Damiano Di Francesco Maesa , Paolo Mori , Laura Ricci
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers hal-01800124v1
Image document

Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions

 Fábio Coelho , Miguel Matos , José Pereira , Rui Oliveira
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.3-18, ⟨10.1007/978-3-319-59665-5_1⟩
Conference papers hal-01800128v1
Page :