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

Filter your results

815 results
Deposit type : Fulltext
Page :
sorted by
Image document

Coordination and Concurrency in Multi-engine Prolog

 Paul Tarau
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.157-171, ⟨10.1007/978-3-642-21464-6_11⟩
Conference papers hal-01582990v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

 Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Enabling Cross-Technology Mobile Applications with Network-Aware References

 Kevin Pinte , Dries Harnie , Theo D’hondt
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.142-156, ⟨10.1007/978-3-642-21464-6_10⟩
Conference papers hal-01582992v1
Image document

CSP as a Coordination Language

 Moritz Kleine
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩
Conference papers hal-01582993v1
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Session Typing for a Featherweight Erlang

 Dimitris Mostrous , Vasco T. Vasconcelos
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.95-109, ⟨10.1007/978-3-642-21464-6_7⟩
Conference papers hal-01582995v1
Image document

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

 Sung-Shik Jongmans , Christian Krause , Farhad Arbab
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers hal-01582996v1
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

The Context of Coordinating Groups in Dynamic Mobile Networks

 Christine Julien
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.49-64, ⟨10.1007/978-3-642-21464-6_4⟩
Conference papers hal-01582998v1
Image document

Safe Parallel Programming with Session Java

 Nicholas Ng , Nobuko Yoshida , Olivier Pernet , Raymond Hu , Yiannos Kryftis
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.110-126, ⟨10.1007/978-3-642-21464-6_8⟩
Conference papers hal-01582999v1
Image document

Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks

 Seiji Umatani , Masahiro Yasugi , Taiichi Yuasa
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.172-186, ⟨10.1007/978-3-642-21464-6_12⟩
Conference papers hal-01583000v1
Image document

Monitoring Distributed Systems Using Knowledge

 Susanne Graf , Doron Peled , Sophie Quinton
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.183-197, ⟨10.1007/978-3-642-21461-5_12⟩
Conference papers hal-01583313v1
Image document

Contracts for Multi-instance UML Activities

 Vidar Slåtten , Peter Herrmann
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.304-318, ⟨10.1007/978-3-642-21461-5_20⟩
Conference papers hal-01583314v1
Image document

Galois Connections for Flow Algebras

 Piotr Filipiuk , Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.138-152, ⟨10.1007/978-3-642-21461-5_9⟩
Conference papers hal-01583315v1
Image document

An Accurate Type System for Information Flow in Presence of Arrays

 Séverine Fratani , Jean-Marc Talbot
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.153-167, ⟨10.1007/978-3-642-21461-5_10⟩
Conference papers hal-01583316v1
Image document

Dynamic Soundness in Resource-Constrained Workflow Nets

 María Martos-Salgado , Fernando Rosa-Velardo
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.259-273, ⟨10.1007/978-3-642-21461-5_17⟩
Conference papers hal-01583317v1
Image document

A Model-Checking Tool for Families of Services

 Patrizia Asirelli , Maurice H. ter Beek , Alessandro Fantechi , Stefania Gnesi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.44-58, ⟨10.1007/978-3-642-21461-5_3⟩
Conference papers hal-01583318v1
Image document

A Process Calculus for Dynamic Networks

 Dimitrios Kouzapas , Anna Philippou
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.213-227, ⟨10.1007/978-3-642-21461-5_14⟩
Conference papers hal-01583319v1
Image document

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1
Image document

On Asynchronous Session Semantics

 Dimitrios Kouzapas , Nobuko Yoshida , Kohei Honda
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.228-243, ⟨10.1007/978-3-642-21461-5_15⟩
Conference papers hal-01583321v1
Image document

Towards Verification of the Pastry Protocol Using TLA +

 Tianxiang Lu , Stephan Merz , Christoph Weidenbach
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers hal-01583322v1
Image document

Annotation Inference for Separation Logic Based Verifiers

 Frédéric Vogels , Bart Jacobs , Frank Piessens , Jan Smans
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.319-333, ⟨10.1007/978-3-642-21461-5_21⟩
Conference papers hal-01583323v1
Image document

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

 Bettina Braitling , Ralf Wimmer , Bernd Becker , Nils Jansen , Erika Ábrahám
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.75-89, ⟨10.1007/978-3-642-21461-5_5⟩
Conference papers hal-01583324v1
Image document

Adaptable Processes (Extended Abstract)

 Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers hal-01583325v1
Image document

Linear-Time and May-Testing in a Probabilistic Reactive Setting

 Lucia Acciai , Michele Boreale , Rocco De Nicola
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Conference papers hal-01583326v1
Image document

Partial Order Methods for Statistical Model Checking and Simulation

 Jonathan Bogdoll , Luis María Ferrer Fioriti , Arnd Hartmanns , Holger Hermanns
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.59-74, ⟨10.1007/978-3-642-21461-5_4⟩
Conference papers hal-01583327v1
Image document

Analysis of Deadlocks in Object Groups

 Elena Giachino , Cosimo Laneve
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.168-182, ⟨10.1007/978-3-642-21461-5_11⟩
Conference papers hal-01583328v1
Image document

Relational Concurrent Refinement: Timed Refinement

 John Derrick , Eerke Boiten
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers hal-01583329v1
Image document

Analyzing BGP Instances in Maude

 Anduo Wang , Carolyn Talcott , Limin Jia , Boon Thau Loo , Andre Scedrov
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩
Conference papers hal-01583330v1
Image document

Scalability of iBGP Path Diversity Concepts

 Uli Bornhauser , Peter Martini , Martin Horneffer
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.432-443, ⟨10.1007/978-3-642-20757-0_34⟩
Conference papers hal-01583395v1
Page :