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

Distributed Content Backup and Sharing Using Social Information

 Jin Jiang , Claudio E. Casetti
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.68-81, ⟨10.1007/978-3-642-30045-5_6⟩
Conference papers hal-01531125v1
Image document

A 2-Approximation Algorithm for Optimal Deployment of k Base Stations in WSNs

 Hui Wu , Sabbir Mahmud
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.378-391, ⟨10.1007/978-3-642-30054-7_30⟩
Conference papers hal-01531960v1
Image document

Enforcing Availability in Failure-Aware Communicating Systems

 Hugo A. López , Flemming Nielson , Hanne Riis Nielson
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers hal-01432918v1
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

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
Image document

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

 Stefan Huster , Jonas Ströbele , Jürgen Ruf , Thomas Kropf , Wolfgang Rosenstiel
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.54-70, ⟨10.1007/978-3-319-67549-7_4⟩
Conference papers hal-01678963v1
Image document

Using Facebook to Find Missing Persons: A Crowd-Sourcing Perspective

 M.J. Hattingh , M.C. Matthee
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.685-694, ⟨10.1007/978-3-319-45234-0_61⟩
Conference papers hal-01702184v1
Image document

Galois Connections for Flow Algebras

 Piotr Filipiuk , Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.138-152, ⟨10.1007/978-3-642-21461-5_9⟩
Conference papers hal-01583315v1
Image document

Small Worlds and Rapid Mixing with a Little More Randomness on Random Geometric Graphs

 Gunes Ercal
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.281-293, ⟨10.1007/978-3-642-20757-0_22⟩
Conference papers hal-01583418v1
Image document

Privacy-Preserving Data Allocation in Decentralized Online Social Networks

 Andrea de Salve , Paolo Mori , Laura Ricci , Raed Al-Aaridhi , Kalman Graffi
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.47-60, ⟨10.1007/978-3-319-39577-7_4⟩
Conference papers hal-01434799v1
Image document

Formal Testing of Timed and Probabilistic Systems

 Manuel Núñez
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers hal-01583920v1
Image document

Transparent Scalability with Clustering for Java e-Science Applications

 Pedro Sampaio , Paulo Ferreira , Luís Veiga
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.270-277, ⟨10.1007/978-3-642-21387-8_22⟩
Conference papers hal-01583574v1
Image document

Beddernet: Application-Level Platform-Agnostic MANETs

 Rasmus Sidorovs Gohs , Sigurður Rafn Gunnarsson , Arne John Glenstrup
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.165-178, ⟨10.1007/978-3-642-21387-8_13⟩
Conference papers hal-01583579v1
Image document

Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures

 João Morais , João Nuno Silva , Paulo Ferreira , Luís Veiga
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.292-300, ⟨10.1007/978-3-642-21387-8_24⟩
Conference papers hal-01583580v1
Image document

Replica Placement in Peer-Assisted Clouds: An Economic Approach

 Ahmed Ali-Eldin , Sameh El-Ansary
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.208-213, ⟨10.1007/978-3-642-21387-8_16⟩
Conference papers hal-01583581v1
Image document

Scaling HDFS with a Strongly Consistent Relational Model for Metadata

 Kamal Hakimzadeh , Hooman Peiro Sajjad , Jim Dowling
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.38-51, ⟨10.1007/978-3-662-43352-2_4⟩
Conference papers hal-01287731v1
Image document

Controllability Through Nondeterminism in Distributed Testing

 Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩
Conference papers hal-01643709v1
Image document

An Effective Scalable SQL Engine for NoSQL Databases

 Ricardo Vilaça , Francisco Cruz , José Pereira , Rui Oliveira
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.155-168, ⟨10.1007/978-3-642-38541-4_12⟩
Conference papers hal-01489453v1
Image document

Anomaly Detection and Mitigation at Internet Scale: A Survey

 Jessica Steinberger , Lisa Schehlmann , Sebastian Abt , Harald Baier
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.49-60, ⟨10.1007/978-3-642-38998-6_7⟩
Conference papers hal-01489970v1
Image document

Analysis of Web Logs: Challenges and Findings

 Maria Carla Calzarossa , Luisa Massari
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.227-239, ⟨10.1007/978-3-642-25575-5_19⟩
Conference papers hal-01586906v1
Image document

Test-Data Generation for Testing Parallel Real-Time Systems

 Muhammad Waqar Aziz , Syed Baqi Shah
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.211-223, ⟨10.1007/978-3-319-25945-1_13⟩
Conference papers hal-01470169v1
Image document

Loop Freedom in AODVv2

 Kedar S. Namjoshi , Richard J. Trefler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers hal-01767329v1
Image document

Compliance and Subtyping in Timed Session Types

 Massimo Bartoletti , Tiziana Cimoli , Maurizio Murgia , Alessandro Sebastian Podda , Livio Pompianu
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers hal-01767334v1
Image document

Cities and Urban Living at the Crossroads

 Jeremy Millard
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.427-433, ⟨10.1007/978-3-319-68557-1_37⟩
Conference papers hal-01768535v1
Image document

Customizable Vehicle Tracking with Intelligent Prediction System

 Dhanasekar Sundararaman , Gowtham Ravichandran , R. Jagadeesh , S. Sasirekha , I. Joe Louis Paul , et al.
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.298-310, ⟨10.1007/978-3-319-68557-1_27⟩
Conference papers hal-01768537v1
Image document

Designing to Promote a New Social Affordance for Energy Consumption

 Lara G. Piccolo , Heiko Hornung , Cecília Baranauskas , Roberto Pereira
12th Conference on e-Business, e-Services, and e-Society (I3E), Apr 2013, Athens, Greece. pp.213-225, ⟨10.1007/978-3-642-37437-1_18⟩
Conference papers hal-01470535v1
Image document

Free Typed Text Using Keystroke Dynamics for Continuous Authentication

 Paulo Pinto , Bernardo Patrão , Henrique Santos
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.33-45, ⟨10.1007/978-3-662-44885-4_3⟩
Conference papers hal-01404183v1
Image document

Many-to-Many Information Flow Policies

 Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1
Image document

Opportunistic Multipath Forwarding in Content-Based Publish/Subscribe Overlays

 Reza Sherafat Kazemzadeh , Hans-Arno Jacobsen
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.249-270, ⟨10.1007/978-3-642-35170-9_13⟩
Conference papers hal-01555549v1
Image document

Dynamic Software Deployment from Clouds to Mobile Devices

 Ioana Giurgiu , Oriana Riva , Gustavo Alonso
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.394-414, ⟨10.1007/978-3-642-35170-9_20⟩
Conference papers hal-01555562v1
Page :