Search - IFIP Open Digital Library

Filter your results

10 results
Structure: Internal structure identifier : 495422
Page :
sorted by
Image document

A Distributed Coordination Infrastructure for Attribute-Based Interaction

 Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers hal-01824810v1
Image document

Multilevel Transitive and Intransitive Non-interference, Causally

 Paolo Baldan , Alessandro Beggiato
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.1-17, ⟨10.1007/978-3-319-39519-7_1⟩
Conference papers hal-01631722v1
Image document

Dynamic SLAs for Clouds

 Rafael Brundo Uriarte , Francesco Tiezzi , Rocco de Nicola
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.34-49, ⟨10.1007/978-3-319-44482-6_3⟩
Conference papers hal-01638588v1
Image document

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

 Rocco De Nicola , Tan Duong , Michele Loreti
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers hal-02365500v1
Image document

Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study

 Roberta Barbi , Vitaly Buravlev , Claudio Antares Mezzina , Valerio Schiavoni
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.67-82, ⟨10.1007/978-3-319-59665-5_5⟩
Conference papers hal-01800123v1
Image document

Automated Replication of Tuple Spaces via Static Analysis

 Aline Uwimbabazi , Omar Inverso , Rocco de Nicola
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.18-34, ⟨10.1007/978-3-030-89247-0_2⟩
Conference papers hal-04074522v1
Image document

Tuple Spaces Implementations and Their Efficiency

 Vitaly Buravlev , Rocco De Nicola , Claudio Antares Mezzina
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.51-66, ⟨10.1007/978-3-319-39519-7_4⟩
Conference papers hal-01631715v1
Image document

A Calculus for Modeling Floating Authorizations

 Jovanka Pantović , Ivan Prokić , Hugo Torres Vieira
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.101-120, ⟨10.1007/978-3-319-92612-4_6⟩
Conference papers hal-01824819v1
Image document

Many-to-Many Information Flow Policies

 Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1
Image document

A True Concurrent Model of Smart Contracts Executions

 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers hal-03273986v1
Page :