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

Modelling Probabilistic Wireless Networks

 Andrea Cerone , Matthew Hennessy
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.135-151, ⟨10.1007/978-3-642-30793-5_9⟩
Conference papers hal-01528729v1
Image document

Self-Organised Routing for Road Networks

 Holger Prothmann , Sven Tomforde , Johannes Lyda , Jürgen Branke , Jörg Hähner , et al.
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.48-59, ⟨10.1007/978-3-642-28583-7_5⟩
Conference papers hal-01527528v1
Image document

FlowFlex: Malleable Scheduling for Flows of MapReduce Jobs

 Viswanath Nagarajan , Joel Wolf , Andrey Balmin , Kirsten Hildrum
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.103-122, ⟨10.1007/978-3-642-45065-5_6⟩
Conference papers hal-01480794v1
Image document

Analysis and Performance Evaluation of SDN Queue Model

 Samuel Muhizi , Gregory Shamshin , Ammar Muthanna , Ruslan Kirichek , Andrei Vladyko , et al.
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.26-37, ⟨10.1007/978-3-319-61382-6_3⟩
Conference papers hal-01675425v1
Image document

System Design and Analysis of UAV-Assisted BLE Wireless Sensor Systems

 Mikhail Komarov , Dmitri Moltchanov
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.284-296, ⟨10.1007/978-3-319-33936-8_22⟩
Conference papers hal-01434877v1
Image document

Virtual Network Flavors: Differentiated Traffic Forwarding for Cloud Tenants

 Aryan Taherimonfared , Chunming Rong
13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.165-179, ⟨10.1007/978-3-319-22572-2_12⟩
Conference papers hal-01728815v1
Image document

Network Traffic Analysis and QoE Evaluation for Video Progressive Download Service: Netflix

 Francisco Lozano , Mari-Carmen Aguayo-Torres , Gerardo Gómez , Carlos Cárdenas , Juana Baños
13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.239-246, ⟨10.1007/978-3-319-22572-2_17⟩
Conference papers hal-01728819v1
Image document

Ransomware Steals Your Phone. Formal Methods Rescue It

 Francesco Mercaldo , Vittoria Nardone , Antonella Santone , Corrado Aaron Visaggio
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
Conference papers hal-01432919v1
Image document

A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls

 Tor-Magne Stien Hagen , Daniel Stødle , John Markus Bjørndalen , Otto Anshus
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.194-207, ⟨10.1007/978-3-642-21387-8_15⟩
Conference papers hal-01583572v1
Image document

Gozar: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal

 Amir H. Payberah , Jim Dowling , Seif Haridi
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.1-14, ⟨10.1007/978-3-642-21387-8_1⟩
Conference papers hal-01583586v1
Image document

Enabling Cross-Technology Mobile Applications with Network-Aware References

 Kevin Pinte , Dries Harnie , Theo D’hondt
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.142-156, ⟨10.1007/978-3-642-21464-6_10⟩
Conference papers hal-01582992v1
Image document

Energy Efficiency Gains Using VHOs in Heterogeneous Networks

 António Serrador , Luís M. Correia
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.52-62, ⟨10.1007/978-3-642-30039-4_7⟩
Conference papers hal-01533574v1
Image document

Multipath TCP Proxy: Unshackling Network Nodes from Today’s End-to-End Connection Principle

 Christos Pollalis , Paris Charalampou , Efstathios Sykas
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.55-65, ⟨10.1007/978-3-319-33936-8_5⟩
Conference papers hal-01434867v1
Image document

Dynamic Soundness in Resource-Constrained Workflow Nets

 María Martos-Salgado , Fernando Rosa-Velardo
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.259-273, ⟨10.1007/978-3-642-21461-5_17⟩
Conference papers hal-01583317v1
Image document

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)

 Mathias Weber , Annette Bieniusa , Arnd Poetzsch-Heffter
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.236-242, ⟨10.1007/978-3-319-60225-7_17⟩
Conference papers hal-01658414v1
Image document

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation

 Kent Fagerland Simonsen , Lars Michael Kristensen
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.104-118, ⟨10.1007/978-3-662-43352-2_9⟩
Conference papers hal-01287735v1
Image document

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

 Alessio Mansutti , Marino Miculan , Marco Peressotti
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.201-208, ⟨10.1007/978-3-662-43352-2_16⟩
Conference papers hal-01287744v1
Image document

Barriers for User Acceptance of Mobile Health Applications for Diabetic Patients: Applying the UTAUT Model

 Fazlyn Petersen , Mariam Jacobs , Shaun Pather
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.61-72, ⟨10.1007/978-3-030-45002-1_6⟩
Conference papers hal-03774176v1
Image document

How Can Critical Thinking Be Used to Assess the Credibility of Online Information?

 Albie Van Zyl , Marita Turpin , Machdel Matthee
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.199-210, ⟨10.1007/978-3-030-45002-1_17⟩
Conference papers hal-03774178v1
Image document

A Systematic Review on Fake News Themes Reported in Literature

 Marlie Celliers , Marie Hattingh
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.223-234, ⟨10.1007/978-3-030-45002-1_19⟩
Conference papers hal-03774193v1
Image document

An e-Government Implementation Framework: A Developing Country Case Study

 Anele Apleni , Hanlie Smuts
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.15-27, ⟨10.1007/978-3-030-45002-1_2⟩
Conference papers hal-03774200v1
Image document

Noninterference via Symbolic Execution

 Dimiter Milushev , Wim Beck , Dave Clarke
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.152-168, ⟨10.1007/978-3-642-30793-5_10⟩
Conference papers hal-01528732v1
Image document

A Generic Solution for Agile Run-Time Inspection Middleware

 Wouter De Borger , Bert Lagaisse , Wouter Joosen
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.451-470, ⟨10.1007/978-3-642-25821-3_23⟩
Conference papers hal-01597758v1
Image document

An Improved Signal Subspace Algorithm for Speech Enhancement

 Xuzheng Dai , Baoxian Yu , Xianhua Dai
13th Conference on e-Business, e-Services and e-Society (I3E), Nov 2014, Sanya, China. pp.104-114, ⟨10.1007/978-3-662-45526-5_10⟩
Conference papers hal-01342134v1
Image document

A Theoretical Framework for IT-Enabled and IT-Enforced Corporate Governance Compliance Utilizing BPMSs

 Hendrik Willem Pretorius , Alta van Der Merwe
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.301-312, ⟨10.1007/978-3-030-44999-5_25⟩
Conference papers hal-03222866v1
Image document

The Role of Digital Connectivity in Supply Chain and Logistics Systems: A Proposed SIMPLE Framework

 Maciel M. Queiroz , Samuel Fosso Wamba
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.79-88, ⟨10.1007/978-3-030-44999-5_7⟩
Conference papers hal-03222870v1
Image document

A Comparison of Message Exchange Patterns in BFT Protocols

 Fábio Silva , Ana Alonso , José Pereira , Rui Oliveira
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.104-120, ⟨10.1007/978-3-030-50323-9_7⟩
Conference papers hal-03223258v1
Image document

Online Banking Service Quality: A South African E-S-QUAL Analysis

 Mathias Mujinga
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.228-238, ⟨10.1007/978-3-030-44999-5_19⟩
Conference papers hal-03222845v1
Image document

Methods for Live Testing of Cloud Services

 Oussama Jebbar , Ferhat Khendek , Maria Toeroe
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.201-216, ⟨10.1007/978-3-030-64881-7_13⟩
Conference papers hal-03239818v1
Image document

When Both Transmitting and Receiving Energies Matter: An Application of Network Coding in Wireless Body Area Networks

 Xiaomeng Shi , Muriel Médard , Daniel E. Lucani
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.119-128, ⟨10.1007/978-3-642-23041-7_12⟩
Conference papers hal-01587861v1
Page :