Search - IFIP Open Digital Library Access content directly

Filter your results

13 results
level0_domain_s : Computer Science [cs]
labStructName_s : Laboratoire d'informatique de l'École polytechnique [Palaiseau]
labStructName_s : CISTER [Porto]
Page :
sorted by
Image document

Coordination of Tasks on a Real-Time OS

 Guillermina Cledou , José Proença , Bernhard Sputh , Eric Verhulst
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.250-266, ⟨10.1007/978-3-030-22397-7_15⟩
Conference papers hal-02365513v1
Image document

Towards a Distributed Learning Architecture for Securing ISP Home Customers

 Pedro M. Santos , Joana Sousa , Ricardo Morla , Nuno Martins , João Tagaio , et al.
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.311-322, ⟨10.1007/978-3-030-79157-5_26⟩
Conference papers hal-03789041v1
Image document

Safe Equivalences for Security Properties

 Mário S. Alvim , Miguel E. Andrés , Catuscia Palamidessi , Peter van Rossum
6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. pp.55-70, ⟨10.1007/978-3-642-15240-5_5⟩
Conference papers inria-00479674v2
Image document

Implementing Open Call-by-Value

 Beniamino Accattoli , Giulio Guerrieri
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers hal-01675365v1
Image document

Metrics for Differential Privacy in Concurrent Systems

 Lili Xu , Konstantinos Chatzikokolakis , Huimin Lin
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩
Conference papers hal-00879140v2
Image document

Taming Hierarchical Connectors

 José Proença , Alexandre Madeira
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers hal-03769113v1
Image document

An Initial Analysis of the Shortcomings of Conventional AI and the Benefits of Distributed AI Approaches in Industrial Use Cases

 Anna Hristoskova , Nicolás González-Deleito , Sarah Klein , Joana Sousa , Nuno Martins , et al.
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.281-292, ⟨10.1007/978-3-030-79157-5_23⟩
Conference papers hal-03788993v1
Image document

A First Sensitivity Study of Multi-object Multi-camera Tracking Performance

 Miguel Ramos , Carlos Pereira , Luis Almeida
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.269-280, ⟨10.1007/978-3-030-79157-5_22⟩
Conference papers hal-03789022v1
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

 Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Conference papers hal-03740263v1
Image document

Entropy and Attack Models in Information Flow

 Mário S. Alvim , Miguel E. Andrés , Catuscia Palamidessi
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, ⟨10.1007/978-3-642-15240-5_4⟩
Conference papers hal-00548212v1
Image document

ARx: Reactive Programming for Synchronous Connectors

 José Proença , Guillermina Cledou
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.39-56, ⟨10.1007/978-3-030-50029-0_3⟩
Conference papers hal-03274003v1

Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Page :