Filter your results
- 52
- 1
- 50
- 2
- 1
- 49
- 3
- 3
- 1
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 2
- 4
- 12
- 6
- 5
- 53
- 53
- 12
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Explainable AI: the new 42?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
|
||
|
Learning User Preferences in Ubiquitous Systems: A User Study and a Reinforcement Learning ApproachArtificial 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
|
||
|
Applied Choreographies38th 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
|
||
|
Adaptable Processes (Extended Abstract)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
|
||
|
DeepRoute: Herding Elephant and Mice Flows with Reinforcement LearningMLN 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
|
||
|
Pay-As-You-Go Data Integration Using Functional DependenciesInternational 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
|
||
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th 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
|
||
|
Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions4th 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
|
||
|
QoE Analysis of Media Streaming in Wireless Data Networks11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.343-354, ⟨10.1007/978-3-642-30054-7_27⟩
Conference papers
hal-01531963v1
|
||
|
An Efficient Management of Correlation Sets with Broadcast13th 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
|
||
|
A Flow Scheduler Architecture9th 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
|
||
|
Causal-Consistent Replay Debugging for Message Passing ProgramsFORTE 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
|
||
|
Choreography AutomataCOORDINATION 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
|
||
|
Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers
hal-00726802v1
|
||
|
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript29th 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
|
||
|
Microservice Dynamic Architecture-Level Deployment OrchestrationCOORDINATION 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
|
||
|
No More, No Less - A Formal Model for Serverless ComputingCOORDINATION 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
|
||
|
Passive Online RTT Estimation for Flow-Aware Routers Using One-Way TrafficNETWORKING 2010, May 2010, Chennai, India. pp.109-121, ⟨10.1007/978-3-642-12963-6_9⟩
Conference papers
inria-00496155v1
|
||
|
Retractable and Speculative Contracts19th 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
|
||
|
Verification of concurrent design patterns with dataCOORDINATION 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
|
||
|
N Dimensional Crowd Motion25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.557-566, ⟨10.1007/978-3-642-36062-6_56⟩
Conference papers
hal-01347584v1
|
||
|
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication MechanismsHCSE 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
|
||
|
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay NetworksNetworking 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
|
||
|
An Extension and Cooperation Mechanism for Heterogeneous Overlay NetworksHets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Conference papers
hal-00909486v1
|
||
|
On the Dynamics of Locators in LISP11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.385-396, ⟨10.1007/978-3-642-30045-5_29⟩
Conference papers
hal-01531127v1
|
||
|
Painless Support for Static and Runtime Verification of Component-Based Applications6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers
hal-01168757v2
|
||
|
A Semi-Dynamic Evolutionary Power Control Game11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.392-403, ⟨10.1007/978-3-642-30054-7_31⟩
Conference papers
hal-01299776v1
|
||
|
Several Types of Types in Programming Languages3rd 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
|
||
|
Semantic Subtyping for Objects and Classes15th 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, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers
hal-00909299v1
|
||
|
System Modeling and OptimizationSpringer International Publishing, AICT-494, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-55794-6. ⟨10.1007/978-3-319-55795-3⟩
Books
hal-01626887v1
|
- 1
- 2