Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
Structure: Internal structure identifier : 40726
Page :
sorted by
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

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

TLV-diss$γ$: A Dissimilarity Measure for Public Administration Process Logs

 Flavio Corradini , Caterina Luciani , Andrea Morichetta , Marco Piangerelli , Andrea Polini
20th International Conference on Electronic Government (EGOV), Sep 2021, Granada, Spain. pp.301-314, ⟨10.1007/978-3-030-84789-0_22⟩
Conference papers hal-04175101v1
Image document

A Persistent Entropy Automaton for the Dow Jones Stock Market

 Marco Piangerelli , Luca Tesei , Emanuela Merelli
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.37-42, ⟨10.1007/978-3-030-31517-7_3⟩
Conference papers hal-03769121v1
Image document

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment

 Valentina Castiglioni , Michele Loreti , Simone Tini
25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.115-132, ⟨10.1007/978-3-031-35361-1_6⟩
Conference papers hal-04673811v1
Image document

How Adaptive and Reliable is Your Program?

 Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1
Image document

Innovation and Governance: The Role of Sharing Economy

 Elia Brugnoni , Alberto Polzonetti , Matteo Sagratella
6th IFIP World Information Technology Forum (WITFOR), Sep 2016, San José, Costa Rica. pp.195-204, ⟨10.1007/978-3-319-44447-5_18⟩
Conference papers hal-01429747v1
Image document

Improving PA Business Processes through Modeling, Analysis, and Reengineering

 Damiano Falcioni , Andrea Polini , Alberto Polzonetti , Barbara Re
11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.78-89, ⟨10.1007/978-3-642-33489-4_7⟩
Conference papers hal-01543595v1

Electronic Government

 Ida Lindgren , Marijn Janssen , Habin Lee , Andrea Polini , Manuel Rodríguez Bolívar , et al.
Springer International Publishing, LNCS-11685, 2019, Lecture Notes in Computer Science, 978-3-030-27324-8. ⟨10.1007/978-3-030-27325-5⟩
Books hal-02445784v1
Image document

Formalising BPMN Service Interaction Patterns

 Chiara Muzi , Luise Pufahl , Lorenzo Rossi , Mathias Weske , Francesco Tiezzi
11th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Oct 2018, Vienna, Austria. pp.3-20, ⟨10.1007/978-3-030-02302-7_1⟩
Conference papers hal-02156461v1

Electronic Participation

 Panos Panagiotopoulos , Noella Edelmann , Olivier Glassey , Gianluca Misuraca , Peter Parycek , et al.
Springer International Publishing, LNCS-11686, 2019, Lecture Notes in Computer Science, 978-3-030-27396-5. ⟨10.1007/978-3-030-27397-2⟩
Books hal-02446013v1
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1
Image document

Ontology-Based Visualization for Business Model Design

 Marco Peter , Devid Montecchiari , Knut Hinkelmann , Stella Gatziu Grivas
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.244-258, ⟨10.1007/978-3-030-63479-7_17⟩
Conference papers hal-03434645v1
Image document

Modelling Process Intensive Scenarios for the Smart City

 Riccardo Cognini , Flavio Corradini , Andrea Polini , Barbara Re
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.147-158, ⟨10.1007/978-3-662-44426-9_12⟩
Conference papers hal-01401735v1
Image document

Smart City and Green Development

 Alberto Polzonetti , M. Sagratella
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.191-204, ⟨10.1007/978-3-030-02131-3_18⟩
Conference papers hal-02274170v1
Page :