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

Filter your results

40 results
Page :
sorted by

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

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

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

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

 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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