Search - IFIP Open Digital Library Access content directly

Filter your results

27 results
Structure: Internal structure identifier : 121723
Page :
sorted by
Image document

Declarative Elasticity in ABS

 Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers hal-01638585v1

Coalgebraic Methods in Computer Science

 Marcello M. Bonsangue
Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7
Books hal-01408765v1
Image document

Team Automata@Work: On Safe Communication

 Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers hal-03273992v1
Image document

Bounded Model Checking of Recursive Programs with Pointers in K

 Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers hal-01485978v1
Image document

The Future of a Missed Deadline

 Behrooz Nobakht , Frank De Boer , Mohammad Mahdi Jaghoori
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩
Conference papers hal-01486026v1
Image document

The Vocal Range of Movies - Sonifying Gender Representation in Film

 Marcello Maureira , Lisa E. Rombout
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.545-550, ⟨10.1007/978-3-319-24589-8_54⟩
Conference papers hal-01758454v1
Image document

Human-in-the-Loop Simulation of Cloud Services

 Nikolaos Bezirgiannis , Frank De Boer , Stijn De Gouw
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩
Conference papers hal-01677612v1
Image document

Triadic Motifs and Dyadic Self-Organization in the World Trade Network

 Tiziano Squartini , Diego Garlaschelli
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.24-35, ⟨10.1007/978-3-642-28583-7_3⟩
Conference papers hal-01527529v1
Image document

Restricted Density Classification in One Dimension

 Siamak Taati
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.238-250, ⟨10.1007/978-3-662-47221-7_18⟩
Conference papers hal-01442476v1
Image document

Innovation and Big Data

 H. Herik
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.23-30, ⟨10.1007/978-3-319-45378-1_3⟩
Conference papers hal-01637511v1
Image document

Towards Participatory E-Government?: Learning from E-Government Project Evaluations

 Wouter Bronsgeest , Rex Arendsen , Jan Van Dijk
9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.127-139, ⟨10.1007/978-3-319-64322-9_11⟩
Conference papers hal-01703336v1
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

 Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
Image document

Defining Context-Free Power Series Coalgebraically

 Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers hal-01539885v1
Image document

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

 Narges Khakpour , Jetty Kleijn , Marjan Sirjani
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩
Conference papers hal-03769124v1
Image document

Fair Enough? On (Avoiding) Bias in Data, Algorithms and Decisions

 Francien Dechesne
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.17-26, ⟨10.1007/978-3-030-42504-3_2⟩
Conference papers hal-03378959v1
Image document

On the Interplay of Interpersonal Synchrony, Short-Term Affiliation and Long-Term Bonding: A Second-Order Multi-adaptive Neural Agent Model

 Sophie Hendrikse , Jan Treur , Tom F. Wilderjans , Suzanne Dikker , Sander L. Koole
18th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2022, Hersonissos, Greece. pp.37-57, ⟨10.1007/978-3-031-08333-4_4⟩
Conference papers hal-04317171v1
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

An “almost dual” to Gottschalk’s Conjecture

 Silvio Capobianco , Jarkko Kari , Siamak Taati
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.77-89, ⟨10.1007/978-3-319-39300-1_7⟩
Conference papers hal-01435035v1
Image document

Service Orchestration with Priority Constraints

 Behnaz Changizi , Natallia Kokash , Farhad Arbab
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩
Conference papers hal-03769135v1
Image document

Communication Requirements for Team Automata

 Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers hal-01657348v1
Image document

Virtual Team Performance Depends on Distributed Leadership

 Nico van Dijk , Joost Broekens
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.91-102, ⟨10.1007/978-3-642-15399-0_9⟩
Conference papers hal-01055582v1
Image document

Interactive Digital Gameplay Can Lower Stress Hormone Levels in Home Alone Dogs — A Case for Animal Welfare Informatics

 Annika Geurtsen , Maarten H. Lamers , Marcel Schaaf
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.238-251, ⟨10.1007/978-3-319-24589-8_18⟩
Conference papers hal-01758456v1
Image document

ML-ModelExplorer: An Explorative Model-Agnostic Approach to Evaluate and Compare Multi-class Classifiers

 Andreas Theissler , Simon Vollert , Patrick Benz , Laurentius A. Meerhoff , Marc Fernandes
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.281-300, ⟨10.1007/978-3-030-57321-8_16⟩
Conference papers hal-03414731v1
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Image document

Unbounded Allocation in Bounded Heaps

 Jurriaan Rot , Frank De Boer , Marcello Bonsangue
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers hal-01514664v1
Image document

Advancing to the Next Level: Caring for Evaluative Metrics Monsters in Academia and Healthcare

 Iris Wallenburg , Wolfgang Kaltenbrunner , Björn Hammarfelt , Sarah De Rijcke , Roland Bal
Working Conference on Information Systems and Organizations (IS&O), Dec 2018, San Francisco, CA, United States. pp.80-95, ⟨10.1007/978-3-030-04091-8_7⟩
Conference papers hal-02083588v1
Image document

Games that Make Curious: An Exploratory Survey into Digital Games that Invoke Curiosity

 Marcello A. Gómez Maureira , Isabelle Kniestedt
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.76-89, ⟨10.1007/978-3-319-99426-0_7⟩
Conference papers hal-02128582v1
Page :