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

Filter your results

40 results
Page :
sorted by
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

A Formal Framework for Consent Management

 Shukun Tokas , Olaf Owe
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.169-186, ⟨10.1007/978-3-030-50086-3_10⟩
Conference papers hal-03283231v1
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

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

“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

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

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

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

A Calculus of Virtually Timed Ambients

 Einar Broch Johnsen , Martin Steffen , Johanna Beate Stumpf
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers hal-01767462v1
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

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

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

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

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

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

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

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

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

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

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

A Technique for Agile and Automatic Interaction Testing for Product Lines

 Martin Fagereng Johansen , Øystein Haugen , Franck Fleurey , Erik Carlson , Jan Endresen , et al.
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.39-54, ⟨10.1007/978-3-642-34691-0_5⟩
Conference papers hal-01482410v1
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

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

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

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

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