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

Filter your results

18 results
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Susanne Graf , Mahesh Viswanathan
Springer International Publishing, LNCS-9039, 2015, Lecture Notes in Computer Science, 978-3-319-19194-2. ⟨10.1007/978-3-319-19195-9⟩
Books hal-01767330v1

Middleware 2010

 Indranil Gupta , Cecilia Mascolo
Springer, LNCS-6452, 2010, Lecture Notes in Computer Science, 978-3-642-16954-0. ⟨10.1007/978-3-642-16955-7⟩
Books hal-01555803v1
Image document

Resource Provisioning Framework for MapReduce Jobs with Performance Goals

 Abhishek Verma , Ludmila Cherkasova , Roy H. Campbell
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.165-186, ⟨10.1007/978-3-642-25821-3_9⟩
Conference papers hal-01597764v1
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

Coordination Models and Languages

 Dave Clarke , Gul Agha
Springer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books hal-01555333v1
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

“I Kept Browsing and Browsing, But Still Couldn’t Find the One”: Salient Factors and Challenges in Online Typeface Selection

 Y. Wayne Wu , Michael Gilbert , Elizabeth Churchill
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.225-234, ⟨10.1007/978-3-030-29390-1_12⟩
Conference papers hal-02877641v1

Network and Parallel Computing

 Marc Snir , Hai Jin , Hironori Kasahara , Mateo Valero , Feng Zhang , et al.
Springer International Publishing, LNCS-11276, 2018, Lecture Notes in Computer Science, 978-3-030-05676-6. ⟨10.1007/978-3-030-05677-3⟩
Books hal-02279541v1
Image document

Conformance Testing of Boolean Programs with Multiple Faults

 Pavithra Prabhakar , Mahesh Viswanathan
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.101-117, ⟨10.1007/978-3-642-30793-5_7⟩
Conference papers hal-01528731v1
Image document

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

 Samira Tasharofi , Rajesh K. Karmani , Steven Lauterburg , Axel Legay , Darko Marinov , et al.
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers hal-01528727v1
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

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

 Ritwika Ghosh , Sayan Mitra
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.35-49, ⟨10.1007/978-3-319-19195-9_3⟩
Conference papers hal-01767335v1
Image document

Statistical Model Checking for Composite Actor Systems

 Jonas Eckhardt , Tobias Mühlbauer , José Meseguer , Martin Wirsing
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers hal-01485983v1
Image document

A Small Model Theorem for Rectangular Hybrid Automata Networks

 Taylor T. Johnson , Sayan Mitra
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.18-34, ⟨10.1007/978-3-642-30793-5_2⟩
Conference papers hal-01528730v1
Image document

Message Passing Algorithm for the Generalized Assignment Problem

 Mindi Yuan , Chong Jiang , Shen Li , Wei Shen , Yannis Pavlidis , et al.
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.423-434, ⟨10.1007/978-3-662-44917-2_35⟩
Conference papers hal-01403111v1

Formal Techniques for Distributed Systems

 Holger Giese , Grigore Rosu
Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩
Books hal-01528737v1
Image document

Scoped Synchronization Constraints for Large Scale Actor Systems

 Peter Dinges , Gul Agha
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.89-103, ⟨10.1007/978-3-642-30829-1_7⟩
Conference papers hal-01529588v1
Image document

Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity

 Stephann Makri , Yi-Chun Chen , Dana Mckay , George Buchanan , Melissa Ocepek
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.3-23, ⟨10.1007/978-3-030-29384-0_1⟩
Conference papers hal-02544618v1
Page :