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

Filter your results

44 results
Page :
sorted by
Image document

Software Reuse in Local Public Bodies: Lessons Learned in Tuscany

 Vincenzo Ambriola , Giovanni A. Cignoni
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.375-386, ⟨10.1007/978-3-642-14799-9_32⟩
Conference papers hal-01056574v1
Image document

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

 Artur Boronat , Roberto Bruni , Alberto Lluch Lafuente , Ugo Montanari , Generoso Paolillo
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.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers hal-01055150v1

Formal Techniques for Distributed Systems

 Roberto Bruni , Juergen Dingel
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books hal-01583312v1
Image document

Formal Analysis of Security Metrics and Risk

 Leanid Krautsevich , Fabio Martinelli , Artsiom Yautsiukhin
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.304-319, ⟨10.1007/978-3-642-21040-2_22⟩
Conference papers hal-01573302v1
Image document

BGP and Inter-AS Economic Relationships

 Enrico Gregori , Alessandro Improta , Luciano Lenzini , Lorenzo Rossi , Luca Sani
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.54-67, ⟨10.1007/978-3-642-20798-3_5⟩
Conference papers hal-01597984v1
Image document

A Modular LTS for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale , Ugo Montanari
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.134-148, ⟨10.1007/978-3-642-33475-7_10⟩
Conference papers hal-01556218v1
Image document

A Compositional Model for Gesture Definition

 Lucio Davide Spano , Antonio Cisternino , Fabio Paternò
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.34-52, ⟨10.1007/978-3-642-34347-6_3⟩
Conference papers hal-01556826v1
Image document

Types for Coordinating Secure Behavioural Variations

 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.261-276, ⟨10.1007/978-3-642-30829-1_18⟩
Conference papers hal-01529592v1
Image document

First-Order Dynamic Logic for Compensable Processes

 Roberto Bruni , Carla Ferreira , Anne Kersten Kauer
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers hal-01529601v1
Image document

Formalising Security in Ubiquitous and Cloud Scenarios

 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti , Chiara Bodei
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.1-29, ⟨10.1007/978-3-642-33260-9_1⟩
Conference papers hal-01551710v1
Image document

Uniform Obfuscation for Location Privacy

 Gianluca Dini , Pericle Perazzo
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.90-105, ⟨10.1007/978-3-642-31540-4_7⟩
Conference papers hal-01534755v1
Image document

Open Multiparty Interaction

 Chiara Bodei , Linda Brodo , Roberto Bruni
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers hal-01485975v1
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

Barbed Semantics for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers hal-01485968v1
Image document

Transformation Systems with Incremental Negative Application Conditions

 Andrea Corradini , Reiko Heckel , Frank Hermann , Susann Gottmann , Nico Nachtigall
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers hal-01485982v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

TOSCA in a Nutshell: Promises and Perspectives

 Antonio Brogi , Jacopo Soldani , Pengwei Wang
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.171-186, ⟨10.1007/978-3-662-44879-3_13⟩
Conference papers hal-01318292v1
Image document

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

 Anna Bernasconi , Valentina Ciriani
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩
Conference papers hal-01402013v1
Image document

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

 Alberto Lluch Lafuente , Michele Loreti , Ugo Montanari
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers hal-01774933v1
Image document

Modelling and Analysing Cloud Application Management

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.19-33, ⟨10.1007/978-3-319-24072-5_2⟩
Conference papers hal-01757559v1
Image document

Mining Learning Processes from FLOSS Mailing Archives

 Patrick Mukala , Antonio Cerone , Franco Turini
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.287-298, ⟨10.1007/978-3-319-25013-7_23⟩
Conference papers hal-01448047v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Image document

Playing with Our CAT and Communication-Centric Applications

 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari , Emilio Tuosto
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers hal-01432928v1
Image document

Fault-Aware Application Management Protocols

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.219-234, ⟨10.1007/978-3-319-44482-6_14⟩
Conference papers hal-01638591v1
Image document

Where Do Your IoT Ingredients Come From?

 Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers hal-01631717v1
Image document

Privacy-Preserving Data Allocation in Decentralized Online Social Networks

 Andrea de Salve , Paolo Mori , Laura Ricci , Raed Al-Aaridhi , Kalman Graffi
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.47-60, ⟨10.1007/978-3-319-39577-7_4⟩
Conference papers hal-01434799v1
Image document

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers hal-01657338v1
Image document

Blockchain Based Access Control

 Damiano Di Francesco Maesa , Paolo Mori , Laura Ricci
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers hal-01800124v1
Image document

A Denotational View of Replicated Data Types

 Fabio Gadducci , Hernán Melgratti , Christian Roldán
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers hal-01657339v1
Image document

SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management

 Barbara Guidi , Andrea Michienzi , Laura Ricci
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.93-109, ⟨10.1007/978-3-319-93767-0_7⟩
Conference papers hal-01824639v1
Page :