Search - IFIP Open Digital Library Access content directly

Filter your results

54 results
Structure: Internal structure identifier : 69530
Page :
sorted by
Image document

The Broker

 Bob Spence
2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.10-22, ⟨10.1007/978-3-642-19641-6_2⟩
Conference papers hal-01572653v1
Image document

Teaching Information Visualization via Creative Design

 Bob Spence
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.3-7, ⟨10.1007/978-3-642-54894-9_1⟩
Conference papers hal-01414610v1
Image document

Distributed Fault Tolerant Controllers

 Leonardo Mostarda , Rudi Ball , Naranker Dulay
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.141-154, ⟨10.1007/978-3-642-13645-0_11⟩
Conference papers hal-01061089v1
Image document

Knowledge Mining Biological Network Models

 Stephen H. Muggleton
6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.2-2, ⟨10.1007/978-3-642-16327-2_2⟩
Conference papers hal-01055072v1

Formal Techniques for Distributed Objects, Components, and Systems

 Jorge Pérez , Nobuko Yoshida
Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩
Books hal-02313743v1
Image document

An Intelligent Internet Search Assistant Based on the Random Neural Network

 Will Serrano , Erol Gelenbe
12th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2016, Thessaloniki, Greece. pp.141-153, ⟨10.1007/978-3-319-44944-9_13⟩
Conference papers hal-01557632v1
Image document

Multiparty Session Actors

 Rumyana Neykova , Nobuko Yoshida
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.131-146, ⟨10.1007/978-3-662-43376-8_9⟩
Conference papers hal-01290073v1
Image document

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

 Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , Nobuko Yoshida
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, ⟨10.1007/978-3-642-38493-6_4⟩
Conference papers hal-01486034v1
Image document

Model Checking Distributed Systems against Temporal-Epistemic Specifications

 Andreas Griesmayer , Alessio Lomuscio
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, Florence, Italy. pp.130-145, ⟨10.1007/978-3-642-38592-6_10⟩
Conference papers hal-01515241v1
Image document

JErlang: Erlang with Joins

 Hubert Plociniczak , Susan Eisenbach
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.61-75, ⟨10.1007/978-3-642-13414-2_5⟩
Conference papers hal-01054623v1
Image document

Advances in Verification of Multi-agent Systems

 Alessio Lomuscio
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.3-4, ⟨10.1007/978-3-319-72044-9_1⟩
Conference papers hal-01767478v1
Image document

Safe Session-Based Asynchronous Coordination in Rust

 Zak Cutner , Nobuko Yoshida
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.80-89, ⟨10.1007/978-3-030-78142-2_5⟩
Conference papers hal-03387841v1
Image document

A Spatially-Constrained Normalized Gamma Process for Data Clustering

 Sotirios P. Chatzis , Dimitrios Korkinof , Yiannis Demiris
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.337-346, ⟨10.1007/978-3-642-33409-2_35⟩
Conference papers hal-01521423v1
Image document

Monitoring Networks through Multiparty Session Types

 Laura Bocchi , Tzu-Chun Chen , Romain Demangeon , Nobuko Yoshida , Kohei Honda
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, Florence, Italy. pp.50-65, ⟨10.1007/978-3-642-38592-6_5⟩
Conference papers hal-01213683v1
Image document

Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives

 Giuliano Casale , Marco Gribaudo , Giuseppe Serazzi
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.24-37, ⟨10.1007/978-3-642-25575-5_3⟩
Conference papers hal-01586901v1
Image document

Implementing Multiparty Session Types in Rust

 Nicolas Lagaillardie , Rumyana Neykova , Nobuko Yoshida
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers hal-03273998v1
Image document

On Dynamical Probabilities, or: How to Learn to Shoot Straight

 Herbert Wiklicky
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.262-277, ⟨10.1007/978-3-319-39519-7_16⟩
Conference papers hal-01631724v1
Image document

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus

 Steffen Van Bakel , Maria Grazia Vigliotti
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.372-387, ⟨10.1007/978-3-642-33475-7_26⟩
Conference papers hal-01556215v1
Image document

Modelling the Tradeoffs in Overlay-ISP Cooperation

 Miguel Rio , Raul Landa , Eleni Mykoniati , Richard G. Clegg , David Griffin
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.223-237, ⟨10.1007/978-3-642-30054-7_18⟩
Conference papers hal-01531952v1
Image document

Session-ocaml: A Session-Based Library with Polarities and Lenses

 Keigo Imai , Nobuko Yoshida , Shoji Yuen
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers hal-01657342v1
Image document

Variation-Aware Optimisation for Reconfigurable Cyber-Physical Systems

 Rui Policarpo Duarte , Christos-Savvas Bouganis
7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.237-252, ⟨10.1007/978-3-319-31165-4_24⟩
Conference papers hal-01438249v1
Image document

Type Checking Privacy Policies in the π-calculus

 Dimitrios Kouzapas , Anna Philippou
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.181-195, ⟨10.1007/978-3-319-19195-9_12⟩
Conference papers hal-01767337v1
Image document

Patent Data Driven Innovation Logic: Textual Pattern Exploration to Identify Innovation Logic Data

 Simon Dewulf , Peter Childs
TRIZ Future conference, Sep 2021, Bolzano, Italy. pp.170-181, ⟨10.1007/978-3-030-86614-3_14⟩
Conference papers hal-04067800v1
Image document

Adding Images to Psychometric Questionnaires to Improve User Engagement

 Mohammed Khwaja , Sarah Shepherd
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.621-625, ⟨10.1007/978-3-030-29390-1_49⟩
Conference papers hal-02878653v1
Image document

Using Trusted Execution Environments for Secure Stream Processing of Medical Data

 Carlos Segarra , Ricard Delgado-Gonzalo , Mathieu Lemay , Pierre-Louis Aublin , Peter Pietzuch , et al.
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2019, Kongens Lyngby, Denmark. pp.91-107, ⟨10.1007/978-3-030-22496-7_6⟩
Conference papers hal-02319566v1
Image document

Distributed Middleware Enforcement of Event Flow Security Policy

 Matteo Migliavacca , Ioannis Papagiannis , David M. Eyers , Brian Shand , Jean Bacon , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.334-354, ⟨10.1007/978-3-642-16955-7_17⟩
Conference papers hal-01055277v1
Image document

On Asynchronous Session Semantics

 Dimitrios Kouzapas , Nobuko Yoshida , Kohei Honda
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.228-243, ⟨10.1007/978-3-642-21461-5_15⟩
Conference papers hal-01583321v1
Image document

Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios

 Giovanni Russello , Enrico Scalavino
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.355-367, ⟨10.1007/978-3-642-12368-9_29⟩
Conference papers hal-01056071v1
Image document

Architecturing Conflict Handling of Pervasive Computing Resources

 Henner Jakob , Charles Consel , Nicolas Loriant
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers inria-00581604v1
Image document

A Process Calculus for Dynamic Networks

 Dimitrios Kouzapas , Anna Philippou
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.213-227, ⟨10.1007/978-3-642-21461-5_14⟩
Conference papers hal-01583319v1
Page :