Search - IFIP Open Digital Library Access content directly

Filter your results

53 results
Structure: Internal structure identifier : 34586
Page :
sorted by
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
Image document

Minimization of Network Power Consumption with Redundancy Elimination

 Frédéric Giroire , Joanna Moulierac , Truong Khoa Phan , Frédéric Roudaut
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.247-258, ⟨10.1007/978-3-642-30045-5_19⟩
Conference papers hal-00721855v1
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

Semantic Subtyping for Objects and Classes

 Ornela Dardha , Daniele Gorla , Daniele Varacca
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, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers hal-00909299v1
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 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

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

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

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

 Davide Sangiorgi
Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers hal-01092815v1
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

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

Application Composition Driven by UI Composition

 Christian Brel , Philippe Renevier-Gonin , Audrey Occello , Anne-Marie Déry-Pinna , Catherine Faron Zucker , et al.
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers hal-01302948v1
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

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

A Theory for the Composition of Concurrent Processes

 Ludovic Henrio , Eric Madelaine , Min Zhang
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers hal-01432917v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
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

Storytelling in Visual Analytics Tools for Business Intelligence

 Micheline Elias , Marie-Aude Aufaure , Anastasia Bezerianos
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers hal-00817732v2
Image document

Verification of Ad Hoc Networks with Node and Communication Failures

 Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
Conference papers hal-00909367v1
Image document

A Reversible Abstract Machine and Its Space Overhead

 Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1
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

A Local Approach to Fast Failure Recovery of LISP Ingress Tunnel Routers

 Damien Saucez , Juhoon Kim , Luigi Iannone , Olivier Bonaventure , Clarence Filsfils
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.397-408, ⟨10.1007/978-3-642-30045-5_30⟩
Conference papers hal-01531133v1
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

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

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

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

In Which Content to Specialize? A Game Theoretic Analysis

 Eitan Altman
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.121-125, ⟨10.1007/978-3-642-30039-4_15⟩
Conference papers hal-01533579v1
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

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

Fault in the Future

 Einar Broch Johnsen , Ivan Lanese , Gianluigi Zavattaro
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers hal-01582997v1
Page :