Search - IFIP Open Digital Library Access content directly

Filter your results

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

Algorithmics

 Richard Bird , Jeremy Gibbons , Ralf Hinze , Peter Höfner , Johan Jeuring , et al.
Advancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩
Book sections hal-03325977v1
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

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

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

The Random Neural Network in Price Predictions

 Will Serrano
16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.303-314, ⟨10.1007/978-3-030-49161-1_26⟩
Conference papers hal-04050574v1

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

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

The Blockchain Random Neural Network in Cybersecurity and the Internet of Things

 Will Serrano
15th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2019, Hersonissos, Greece. pp.50-63, ⟨10.1007/978-3-030-19823-7_4⟩
Conference papers hal-02331327v1
Image document

Personality Is Revealed During Weekends: Towards Data Minimisation for Smartphone Based Personality Classification

 Mohammed Khwaja , Aleksandar Matic
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.551-560, ⟨10.1007/978-3-030-29387-1_32⟩
Conference papers hal-02553930v1
Image document

The Random Neural Network with a Genetic Algorithm and Deep Learning Clusters in Fintech: Smart Investment

 Will Serrano
14th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2018, Rhodes, Greece. pp.297-310, ⟨10.1007/978-3-319-92007-8_26⟩
Conference papers hal-01821045v1
Image document

The Social Construction of “Shared Reality” in Socio-Technical Systems

 Kristina Milanović , Jeremy Pitt
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.149-159, ⟨10.1007/978-3-319-95276-5_11⟩
Conference papers hal-01855986v1
Image document

Simpler Coordination of JavaScript Web Workers

 Marco Krauweel , Sung-Shik Jongmans
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.40-58, ⟨10.1007/978-3-319-59746-1_3⟩
Conference papers hal-01657346v1
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

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

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

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

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

An Auto-Scaling Cloud Controller Using Fuzzy Q-Learning - Implementation in OpenStack

 Hamid Arabnejad , Pooyan Jamshidi , Giovani Estrada , Nabil El Ioini , Claus Pahl
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.152-167, ⟨10.1007/978-3-319-44482-6_10⟩
Conference papers hal-01638601v1
Image document

Formalizing Threat Models for Virtualized Systems

 Daniele Sgandurra , Erisa Karafili , Emil Lupu
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.251-267, ⟨10.1007/978-3-319-41483-6_18⟩
Conference papers hal-01633687v1
Image document

MoVA: A Visual Analytics Tool Providing Insight in the Big Mobile Network Data

 Ilias Kalamaras , Stavros Papadopoulos , Anastasios Drosou , Dimitrios Tzovaras
11th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2015), Sep 2015, Bayonne, France. pp.383-396, ⟨10.1007/978-3-319-23868-5_27⟩
Conference papers hal-01385373v1
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

Game Theory Meets Information Security Management

 Andrew Fielder , Emmanouil Panaousis , Pasquale Malacaria , Chris Hankin , Fabrizio Smeraldi
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.15-29, ⟨10.1007/978-3-642-55415-5_2⟩
Conference papers hal-01370350v1
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

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

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

 Søren Debois , Thomas Hildebrandt , Tijs Slaats , Nobuko Yoshida
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43613-4_1⟩
Conference papers hal-01398004v1
Image document

Feature Extraction and Visual Feature Fusion for the Detection of Concurrent Prefix Hijacks

 Stavros Papadopoulos , Konstantinos Votis , Christos Alexakos , Dimitrios Tzovaras
10th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2014, Rhodes, Greece. pp.310-319, ⟨10.1007/978-3-662-44722-2_33⟩
Conference papers hal-01391058v1

Distributed Applications and Interoperable Systems

 Kostas Magoutis , Peter Pietzuch
Springer, LNCS-8460, 2014, Lecture Notes in Computer Science, 978-3-662-43351-5. ⟨10.1007/978-3-662-43352-2⟩
Books hal-01287760v1
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

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
Page :