Search - IFIP Open Digital Library Access content directly

Filter your results

151 results
Sub-domain level 1 : info.info-ni
publicationDateY_i : 2017
Page :
sorted by
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

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

Situational Awareness: Detecting Critical Dependencies and Devices in a Network

 Martin Laštovička , Pavel Čeleda
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.173-178, ⟨10.1007/978-3-319-60774-0_17⟩
Conference papers hal-01806054v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

 Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Making Flow-Based Security Detection Parallel

 Marek Švepeš , Tomáš Čejka
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.3-15, ⟨10.1007/978-3-319-60774-0_1⟩
Conference papers hal-01806062v1
Image document

Stationary Distribution of Waiting Time in MAP/G/1/N Queueing System with LIFO Service Discipline

 Alexander Dudin , Valentina Klimenok , Konstantin Samouylov
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.50-61, ⟨10.1007/978-3-319-61382-6_5⟩
Conference papers hal-01675436v1
Image document

Optimal Service Function Chain Composition in Network Functions Virtualization

 Andrés F. Ocampo , Juliver Gil-Herrera , Pedro H. Isolani , Miguel C. Neves , Juan F. Botero , et al.
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.62-76, ⟨10.1007/978-3-319-60774-0_5⟩
Conference papers hal-01806068v1
Image document

Multi-domain DDoS Mitigation Based on Blockchains

 Bruno Rodrigues , Thomas Bocek , Burkhard Stiller
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.185-190, ⟨10.1007/978-3-319-60774-0_19⟩
Conference papers hal-01806051v1
Image document

Multi-homing and Software Firm Performance

 Sami Hyrynsalmi , Matti Mäntymäki , Aaron W. Baur
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.442-452, ⟨10.1007/978-3-319-68557-1_39⟩
Conference papers hal-01768493v1
Image document

Towards a Software-Defined Security Framework for Supporting Distributed Cloud

 Maxime Compastié , Rémi Badonnel , Olivier Festor , Ruan He , Mohamed Kassi-Lahlou
AIMS 2017 - 11th IFIP International Conference on Autonomous Infrastructure, Management and Security, Jul 2017, Zurich, Switzerland. pp.47-61, ⟨10.1007/978-3-319-60774-0_4⟩
Conference papers hal-01806058v1
Image document

Energy Efficiency Performance for 5G Cellular Networks

 Afef Bohli , Ridha Bouallegue
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.99-111, ⟨10.1007/978-3-319-61382-6_9⟩
Conference papers hal-01675437v1
Image document

Advances in Electronic Government (e-Government) Adoption Research in SAARC Countries

 Nripendra P. Rana , Yogesh K. Dwivedi , Sunil Luthra , Banita Lal , Mohammad Alryalat
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.147-158, ⟨10.1007/978-3-319-68557-1_14⟩
Conference papers hal-01768494v1
Image document

A Systematic Review of Citations of UTAUT2 Article and Its Usage Trends

 Kuttimani Tamilmani , Nripendra P. Rana , Yogesh K. Dwivedi
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.38-49, ⟨10.1007/978-3-319-68557-1_5⟩
Conference papers hal-01768514v1
Image document

Weak Nominal Modal Logic

 Joachim Parrow , Tjark Weber , Johannes Borgström , Lars-Henrik Eriksson
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.179-193, ⟨10.1007/978-3-319-60225-7_13⟩
Conference papers hal-01658420v1
Image document

Benefits and Challenges of a Reference Architecture for Processing Statistical Data

 Agung Wahyudi , Ricardo Matheus , Marijn Janssen
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.462-473, ⟨10.1007/978-3-319-68557-1_41⟩
Conference papers hal-01768525v1
Image document

Smart City Participation: Dream or Reality? A Comparison of Participatory Strategies from Hamburg, Berlin & Enschede

 Ton Spil , Robin Effing , Jaron Kwast
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.122-134, ⟨10.1007/978-3-319-68557-1_12⟩
Conference papers hal-01768502v1
Image document

Task Scheduling Scheme Based on Cost Optimization in 5G/Hetnets C-RAN

 Olfa Chabbouh , Nazim Agoulmine , Sonia Ben Rejeb , Zièd Choukair
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.87-98, ⟨10.1007/978-3-319-61382-6_8⟩
Conference papers hal-01675424v1
Image document

An Observational Approach to Defining Linearizability on Weak Memory Models

 John Derrick , Graeme Smith
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.108-123, ⟨10.1007/978-3-319-60225-7_8⟩
Conference papers hal-01658421v1
Image document

Testing TLS Using Combinatorial Methods and Execution Framework

 Dimitris E. Simos , Josip Bozic , Feng Duan , Bernhard Garn , Kristoffer Kleine , et al.
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.162-177, ⟨10.1007/978-3-319-67549-7_10⟩
Conference papers hal-01678990v1
Image document

IT Consulting: A Systematic Literature Review

 Abhishek Kumar , Purva Grover , Arpan Kumar Kar , Ashis K. Pani
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.474-484, ⟨10.1007/978-3-319-68557-1_42⟩
Conference papers hal-01768524v1
Image document

Fake Order Mitigation: A Profile Based Mechanism

 Ayushi Jain , Akash Sinha , Prabhat Kumar , Yashwanth Dasari
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.276-288, ⟨10.1007/978-3-319-68557-1_25⟩
Conference papers hal-01768508v1
Image document

Time-Dependent SIR Analysis in Shopping Malls Using Fractal-Based Mobility Models

 Yuri Orlov , Elisabeth Kirina-Lilinskaya , Andrey Samuylov , Aleksandr Ometov , Dmitri Moltchanov , et al.
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.16-25, ⟨10.1007/978-3-319-61382-6_2⟩
Conference papers hal-01675412v1
Image document

Evaluation of Geocast Routing Trees on Random and Actual Networks

 Bernd Meijerink , Mitra Baratchi , Geert Heijenk
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.127-142, ⟨10.1007/978-3-319-61382-6_11⟩
Conference papers hal-01675438v1
Image document

Barriers to Adopting E-commerce in Chinese Rural Areas: A Case Study

 Hong Guo , Shang Gao
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.71-82, ⟨10.1007/978-3-319-68557-1_8⟩
Conference papers hal-01768533v1
Image document

MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks

 Robert Müller , Marcel Waldvogel , Corinna Schmitt
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.131-136, ⟨10.1007/978-3-319-60774-0_10⟩
Conference papers hal-01806055v1
Image document

Hunting SIP Authentication Attacks Efficiently

 Tomáš Jansky , Tomáš Čejka , Václav Bartoš
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.125-130, ⟨10.1007/978-3-319-60774-0_9⟩
Conference papers hal-01806064v1
Image document

Adaptive Localizer Based on Splitting Trees

 Roland Groz , Adenilso Simao , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers hal-01678983v1
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

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
Page :