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

Filter your results

40 results
Page :
sorted by
Image document

RESTful Integration of Heterogeneous Devices in Pervasive Environments

 Daniel Romero , Gabriel Hermosillo , Amirhosein Taherkordi , Russel Nzekwa , Romain Rouvoy , et al.
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.1-14, ⟨10.1007/978-3-642-13645-0_1⟩
Conference papers hal-00471922v2
Image document

Autonomic Adaptation of Multimedia Content Adhering to Application Mobility

 Francisco Javier Velázquez-García , Pal Halvorsen , Håkon Kvale Stensland , Frank Eliassen
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.153-168, ⟨10.1007/978-3-319-93767-0_11⟩
Conference papers hal-01824633v1
Image document

Design and Validation of Cloud Storage Systems Using Formal Methods

 Peter Csaba Ölveczky
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩
Conference papers hal-01760637v1
Image document

The State of IT Governance: Patterns of Variation at the Central Government Level in Norway

 Arild Jansen , Tommy Tranvik
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.159-172, ⟨10.1007/978-3-642-22878-0_14⟩
Conference papers hal-01589107v1
Image document

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

 Fatemeh Kazemeyni , Einar Broch Johnsen , Olaf Owe , Ilangko Balasingham
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.95-109, ⟨10.1007/978-3-642-13464-7_9⟩
Conference papers hal-01055142v1
Image document

Declarative Elasticity in ABS

 Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers hal-01638585v1
Image document

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

 Rudolf Schlatte , Einar Broch Johnsen , Eduard Kamburjan , Silvia Lizeth Tapia Tarifa
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-78142-2_1⟩
Conference papers hal-03387836v1
Image document

MAC Layer Support for Delay Tolerant Video Transport in Disruptive MANETs

 Morten Lindeberg , Stein Kristiansen , Vera Goebel , Thomas Plagemann
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.106-119, ⟨10.1007/978-3-642-20757-0_9⟩
Conference papers hal-01583420v1
Image document

Tiny Network Caches with Large Performance Gains for Popular Downloads

 Piotr Srebrny , Dag Sørbø , Thomas Plagemann
13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.197-210, ⟨10.1007/978-3-319-22572-2_14⟩
Conference papers hal-01728820v1
Image document

Deadlock Checking by Data Race Detection

 Ka I Pun , Martin Steffen , Volker Stolz
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.34-50, ⟨10.1007/978-3-642-40213-5_3⟩
Conference papers hal-01514663v1
Image document

Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance

 Narasimha Raghavan Veeraragavan , Roman Vitenberg , Hein Meling
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.185-193, ⟨10.1007/978-3-642-30823-9_16⟩
Conference papers hal-01527648v1
Image document

Resource Adaptive Distributed Information Sharing

 Hans Vatne Hansen , Vera Goebel , Thomas Plagemann , Matti Siekkinen
16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.246-255, ⟨10.1007/978-3-642-13971-0_24⟩
Conference papers hal-01056491v1

Service-Oriented and Cloud Computing

 Flavio de Paoli , Stefan Schulte , Einar Broch Johnsen
Springer International Publishing, LNCS-10465, 2017, Lecture Notes in Computer Science, 978-3-319-67261-8. ⟨10.1007/978-3-319-67262-5⟩
Books hal-01677615v1
Image document

Ready to Go? Schools’ Preparedness for Teaching and Learning Within a One-to-One Program

 Cathrine E. Tømte , Markus M. Bugge , Sabine Wollscheid , Frida F. Vennerød-Diesen
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.569-580, ⟨10.1007/978-3-030-44999-5_47⟩
Conference papers hal-03222858v1
Image document

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

 Tao Ma , Shaukat Ali , Tao Yue , Maged Elaasar
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.3-20, ⟨10.1007/978-3-319-67549-7_1⟩
Conference papers hal-01678980v1
Image document

Blockchain Technology as s Support Infrastructure in e-Government

 Svein Ølnes , Arild Jansen
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.215-227, ⟨10.1007/978-3-319-64677-0_18⟩
Conference papers hal-01702985v1
Image document

Event-Based Customization of Multi-tenant SaaS Using Microservices

 Espen Tønnessen Nordli , Phu H. Nguyen , Franck Chauvel , Hui Song
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.171-180, ⟨10.1007/978-3-030-50029-0_11⟩
Conference papers hal-03273988v1
Image document

Fault in the Future

 Einar Broch Johnsen , Ivan Lanese , Gianluigi Zavattaro
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers hal-01582997v1

Service-Oriented and Cloud Computing

 Marco Aiello , Einar Broch Johnsen , Schahram Dustdar , Ilche Georgievski
Springer International Publishing, LNCS-9846, 2016, Lecture Notes in Computer Science, 978-3-319-44481-9. ⟨10.1007/978-3-319-44482-6⟩
Books hal-01638600v1
Image document

“I’m Disabled and Married to a Foreign Single Mother”. Public Service Chatbot’s Advice on Citizens’ Complex Lives

 Linett Simonsen , Tina Steinstø , Guri Verne , Tone Bratteteig
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.133-146, ⟨10.1007/978-3-030-58141-1_11⟩
Conference papers hal-03201962v1
Image document

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

 Andrea Arcuri , Muhammad Zohaib Iqbal , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.95-110, ⟨10.1007/978-3-642-16573-3_8⟩
Conference papers hal-01055241v1
Image document

Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks

 Daniel Rodríguez-Fernández , Isaias Martinez-Yelmo , Ellen Munthe-Kaas , Thomas Plagemann
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.410-421, ⟨10.1007/978-3-642-21560-5_34⟩
Conference papers hal-01583664v1
Image document

An Approach to Select Cost-Effective Risk Countermeasures

 Le Sang Tran , Bjørnar Solhaug , Ketil Stølen
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.266-273, ⟨10.1007/978-3-642-39256-6_18⟩
Conference papers hal-01490710v1

Distributed Applications and Interoperable Systems

 Frank Eliassen , Rüdiger Kapitza
Springer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books hal-01555327v1
Image document

Reducing the Cost of Model-Based Testing through Test Case Diversity

 Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers hal-01055243v1
Image document

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

 Lucian Bentea , Peter Csaba Ölveczky
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers hal-01485979v1
Image document

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

 Peter Csaba Ölveczky , Artur Boronat , José Meseguer
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers hal-01055147v1
Image document

On the Uplink Performance of TCP in Multi-rate 802.11 WLANs

 Naeem Khademi , Michael Welzl , Renato Lo Cigno
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.368-378, ⟨10.1007/978-3-642-20798-3_28⟩
Conference papers hal-01597975v1
Image document

Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL

 Antonio González-Burgueño , Peter Csaba Ölveczky
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.129-144, ⟨10.1007/978-3-030-31517-7_9⟩
Conference papers hal-03769125v1
Image document

STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice

 Dipesh Pradhan , Shuai Wang , Shaukat Ali , Tao Yue , Marius Liaaen
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.172-190, ⟨10.1007/978-3-319-47443-4_11⟩
Conference papers hal-01643725v1
Page :