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

Filter your results

40 results
Page :
sorted by
Image document

What Is This Thing Called e-Service? Interoperability Challenges in e-Service Modelling

 Svein Ølnes , Arild Jansen
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.197-208, ⟨10.1007/978-3-319-22479-4_15⟩
Conference papers hal-01412255v1
Image document

Translating Active Objects into Colored Petri Nets for Communication Analysis

 Anastasia Gkolfi , Crystal Chang Din , Einar Broch Johnsen , Martin Steffen , Ingrid Chieh Yu
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.84-99, ⟨10.1007/978-3-319-68972-2_6⟩
Conference papers hal-01760859v1
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

The Understanding of ICTs in Public Sector and Its Impact on Governance

 Arild Jansen
11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.174-186, ⟨10.1007/978-3-642-33489-4_15⟩
Conference papers hal-01543585v1
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

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

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

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

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

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

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

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

PolderCast: Fast, Robust, and Scalable Architecture for P2P Topic-Based Pub/Sub

 Vinay Setty , Maarten Van Steen , Roman Vitenberg , Spyros Voulgaris
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.271-291, ⟨10.1007/978-3-642-35170-9_14⟩
Conference papers hal-01555561v1
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

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

Measuring Latency in Virtual Reality Systems

 Kjetil Raaen , Ivar Kjellmo
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.457-462, ⟨10.1007/978-3-319-24589-8_40⟩
Conference papers hal-01758473v1
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

How to Develop an Open and Flexible Information Infrastructure for the Public Sector?

 Erik Hornnes , Arild Jjansen , Øivind Langeland
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.301-314, ⟨10.1007/978-3-642-14799-9_26⟩
Conference papers hal-01059189v1
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

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

Formalizing and Validating the P-Store Replicated Data Store in Maude

 Peter Csaba Ölveczky
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.189-207, ⟨10.1007/978-3-319-72044-9_13⟩
Conference papers hal-01767476v1
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

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

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

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

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

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

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