Search - IFIP Open Digital Library Access content directly

Filter your results

49 results
level0_domain_s : Computer Science [cs]
labStructName_s : Inria Sophia Antipolis - Méditerranée
Page :
sorted by
Image document

Explainable AI: the new 42?

 Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1
Image document

Learning User Preferences in Ubiquitous Systems: A User Study and a Reinforcement Learning Approach

 Sofia Zaidenberg , Patrick Reignier , Nadine Mandran
Artificial Intelligence Applications and Innovations, Harris Papadopoulos and Andreas S. Andreou and Max Bramer, Oct 2010, Larnaca, Cyprus. pp.336-343, ⟨10.1007/978-3-642-16239-8_44⟩
Conference papers hal-00788028v1
Image document

Applied Choreographies

 Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers hal-01824812v1
Image document

Adaptable Processes (Extended Abstract)

 Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
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.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers hal-01583325v1
Image document

DeepRoute: Herding Elephant and Mice Flows with Reinforcement Learning

 Mariam Kiran , Bashir Mohammed , Nandini Krishnaswamy
MLN 2019 - 2nd International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.296-314, ⟨10.1007/978-3-030-45778-5_20⟩
Conference papers hal-03266462v1
Image document

Pay-As-You-Go Data Integration Using Functional Dependencies

 Naser Ayat , Hamideh Afsarmanesh , Reza Akbarinia , Patrick Valduriez
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.375-389, ⟨10.1007/978-3-642-32498-7_28⟩
Conference papers hal-01542460v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
Image document

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks

 Vincenzo Ciancaglini , Luigi Liquori , Giang Ngo Hoang , Petar Maksimovic
Hets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Conference papers hal-00909486v1
Image document

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

 Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Francesco Bongiovanni , Vincenzo Ciancaglini , et al.
Networking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Conference papers hal-00909544v1
Image document

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript

 José Fragoso Santos , Tamara Rezk
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakesh, Morocco. pp.278-292, ⟨10.1007/978-3-642-55415-5_23⟩
Conference papers hal-01087374v1
Image document

Microservice Dynamic Architecture-Level Deployment Orchestration

 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , et al.
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩
Conference papers hal-03338602v1
Image document

No More, No Less - A Formal Model for Serverless Computing

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Conference papers hal-02365509v1
Image document

Passive Online RTT Estimation for Flow-Aware Routers Using One-Way Traffic

 Damiano Carra , Konstantin Avrachenkov , Sara Alouf , Alberto Blanc , Philippe Nain , et al.
NETWORKING 2010, May 2010, Chennai, India. pp.109-121, ⟨10.1007/978-3-642-12963-6_9⟩
Conference papers inria-00496155v1
Image document

Retractable and Speculative Contracts

 Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers hal-01633262v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

N Dimensional Crowd Motion

 Jean-Paul Zolésio , Paola Goatin
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.557-566, ⟨10.1007/978-3-642-36062-6_56⟩
Conference papers hal-01347584v1
Image document

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

 Nicolas Broders , Célia Martinie , Philippe Palanque , Marco Winckler , Kimmo Halunen
HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Conference papers hal-03079818v1
Image document

Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions

 Luca Longo , Randy Goebel , Freddy Lecue , Peter Kieseberg , Andreas Holzinger
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.1-16, ⟨10.1007/978-3-030-57321-8_1⟩
Conference papers hal-03414756v1
Image document

QoE Analysis of Media Streaming in Wireless Data Networks

 Yuedong Xu , Eitan Altman , Rachid El-Azouzi , Salah Eddine Elayoubi , Majed Haddad
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.343-354, ⟨10.1007/978-3-642-30054-7_27⟩
Conference papers hal-01531963v1
Image document

An Efficient Management of Correlation Sets with Broadcast

 Jacopo Mauro , Maurizio Gabbrielli , Claudio Guidi , Fabrizio Montesi
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers hal-01582988v1
Image document

A Flow Scheduler Architecture

 Dinil Mon Divakaran , Giovanna Carofiglio , Eitan Altman , Pascale Vicat-Blanc Primet
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Conference papers hal-01056318v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

 Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1
Image document

Choreography Automata

 Franco Barbanera , Ivan Lanese , Emilio Tuosto
COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers hal-03005377v1
Image document

Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing

 Arshad Ali , Eitan Altman , Tijani Chahed , Dieter Fiems , Manoj Kumar Panda , et al.
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers hal-00726802v1
Image document

On the Dynamics of Locators in LISP

 Damien Saucez , Benoit Donnet
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.385-396, ⟨10.1007/978-3-642-30045-5_29⟩
Conference papers hal-01531127v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
Image document

A Semi-Dynamic Evolutionary Power Control Game

 Majed Haddad , Eitan Altman , Julien Gaillard , Dieter Fiems
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.392-403, ⟨10.1007/978-3-642-30054-7_31⟩
Conference papers hal-01299776v1
Image document

Several Types of Types in Programming Languages

 Simone Martini
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.216-227, ⟨10.1007/978-3-319-47286-7_15⟩
Conference papers hal-01399694v1
Image document

Competition in Access to Content

 Tania Jimenez , Yezekael Hayel , Eitan Altman
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.211-222, ⟨10.1007/978-3-642-30054-7_17⟩
Conference papers hal-01327908v1
Image document

Network Non-Neutrality Debate: An Economic Analysis

 Eitan Altman , Arnaud Legout , Yuedong Xu
10th IFIP Networking Conference (NETWORKING), IFIP Technical Committee on Communication Systems (TC 6), May 2011, Valencia, Spain. pp.68-81, ⟨10.1007/978-3-642-20798-3_6⟩
Conference papers inria-00568922v2
Page :