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

Filter your results

61 results
Page :
sorted by
Image document

An Integrated Application of Security Testing Methodologies to e-voting Systems

 Marco Ramilli , Marco Prandini
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.225-236, ⟨10.1007/978-3-642-15158-3_19⟩
Conference papers hal-01054838v1
Image document

Behavioural Contracts with Request-Response Operations

 Lucia Acciai , Michele Boreale , Gianluigi Zavattaro
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers hal-01054626v1
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

An Efficient Management of Correlation Sets with Broadcast

 Jacopo Mauro , Maurizio Gabbrielli , Claudio Guidi , Fabrizio Montesi
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers hal-01582988v1
Image document

Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments

 Luciano Bononi , Wooseong Kim , Andreas J. Kassler , Marco Di Felice , Mario Gerla
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.398-409, ⟨10.1007/978-3-642-21560-5_33⟩
Conference papers hal-01583638v1
Image document

Exploring Information Security Issues in Public Sector Inter-organizational Collaboration

 Anne Veenstra , Marco Ramilli
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.355-366, ⟨10.1007/978-3-642-22878-0_30⟩
Conference papers hal-01589080v1
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

Priority Level Planning in Kriegspiel

 Paolo Ciancarini , Andrea Gasparro
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.333-340, ⟨10.1007/978-3-642-33542-6_29⟩
Conference papers hal-01556114v1
Image document

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

 Mirko Viroli , Danilo Pianini , Jacob Beal
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.212-229, ⟨10.1007/978-3-642-30829-1_15⟩
Conference papers hal-01529604v1
Image document

A Social Software-Based Coordination Platform

 Davide Rossi
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.17-28, ⟨10.1007/978-3-642-30829-1_2⟩
Conference papers hal-01529596v1
Image document

Verification of Ad Hoc Networks with Node and Communication Failures

 Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro
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.235-250
Conference papers hal-00909367v1
Image document

A Reversible Abstract Machine and Its Space Overhead

 Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
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.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1
Image document

Decidability Results for Dynamic Installation of Compensation Handlers

 Ivan Lanese , Gianluigi Zavattaro
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.136-150, ⟨10.1007/978-3-642-38493-6_10⟩
Conference papers hal-01486023v1
Image document

Semantic Subtyping for Objects and Classes

 Ornela Dardha , Daniele Gorla , Daniele Varacca
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers hal-00909299v1
Image document

Probabilistic Modular Embedding for Stochastic Coordinated Systems

 Stefano Mariani , Andrea Omicini
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.151-165, ⟨10.1007/978-3-642-38493-6_11⟩
Conference papers hal-01486024v1
Image document

Graphic-Based Concept Retrieval

 Massimo Ferri
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.460-468
Conference papers hal-01506774v1
Image document

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

 Davide Sangiorgi
Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers hal-01092815v1

Theoretical Computer Science

 Josep Diaz , Ivan Lanese , Davide Sangiorgi
Josep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books hal-01402084v1
Image document

A Calculus of Self-stabilising Computational Fields

 Mirko Viroli , Ferruccio Damiani
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers hal-01290075v1
Image document

Modeling the Emergence of a New Language: Naming Game with Hybridization

 Lorenzo Pucci , Pietro Gravino , Vito P. Servedio
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.78-89, ⟨10.1007/978-3-642-54140-7_7⟩
Conference papers hal-01291501v1
Image document

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

A Decentralized Approach to Network-Aware Service Composition

 Valeria Cardellini , Mirko D’angelo , Vincenzo Grassi , Moreno Marzolla , Raffaela Mirandola
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.34-48, ⟨10.1007/978-3-319-24072-5_3⟩
Conference papers hal-01757563v1
Image document

Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions

 Andrea Omicini , Giancarlo Fortino , Stefano Mariani
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.186-193, ⟨10.1007/978-3-319-19282-6_12⟩
Conference papers hal-01774947v1

Service Oriented and Cloud Computing

 Schahram Dustdar , Frank Leymann , Massimo Villari
Springer International Publishing, LNCS-9306, 2015, Lecture Notes in Computer Science, 978-3-319-24071-8. ⟨10.1007/978-3-319-24072-5⟩
Books hal-01757566v1
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

 Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers hal-01757558v1
Image document

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

 Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers hal-01767321v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1

Electronic Participation

 Efthimios Tambouris , Panos Panagiotopoulos , Øystein Sæbø , Konstantinos Tarabanis , Maria A. Wimmer , et al.
LNCS-9249, 2015, Lecture Notes in Computer Science, 978-3-319-22499-2. ⟨10.1007/978-3-319-22500-5⟩
Books hal-01587629v1

Coordination Models and Languages

 Tom Holvoet , Mirko Viroli
Springer International Publishing, LNCS-9037, 2015, Lecture Notes in Computer Science, 978-3-319-19281-9. ⟨10.1007/978-3-319-19282-6⟩
Books hal-01774946v1

Formal Techniques for Distributed Objects, Components, and Systems

 Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1
Page :