Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

714 results
Deposit type : Fulltext
Page :
sorted by
Image document

Dissemination of reconfiguration policies on mesh networks

 François Fouquet , Erwan Daubert , Noël Plouzeau , Olivier Barais , Johann Bourcier , et al.
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers hal-00688707v1
Image document

ZigZag: a Middleware for Service Discovery in Future Internet

 Preston Rodrigues , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.208-221, ⟨10.1007/978-3-642-30823-9_19⟩
Conference papers hal-00689779v1
Image document

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

 Colin Riba
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Conference papers hal-00692153v1
Image document

Proofs as Executions

 Emmanuel Beffara , Virgile Mogbil
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩
Conference papers hal-00586459v2
Image document

Connecting your Mobile Shopping Cart to the Internet-of-Things

 Nicolas Petitprez , Romain Rouvoy , Laurence Duchien
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.236-243, ⟨10.1007/978-3-642-30823-9_21⟩
Conference papers hal-00684780v1
Image document

Semantic Exploration of DNS

 Samuel Marchal , Jérôme François , Cynthia Wagner , Thomas Engel
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.370-384, ⟨10.1007/978-3-642-30045-5_28⟩
Conference papers hal-00712849v1
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

Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities

 Saddek Bensalem , Marius Bozga , Jean Quilbeuf , Joseph Sifakis
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.118-134, ⟨10.1007/978-3-642-30793-5_8⟩
Conference papers hal-00722485v1
Image document

Competition between wireless service providers sharing a radio resource

 Patrick Maillé , Bruno Tuffin , Jean-Marc Vigne
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.355-365, ⟨10.1007/978-3-642-30054-7_28⟩
Conference papers hal-00725181v1
Image document

Document authentication using 2D codes: Maximizing the decoding performance using statistical inference

 Lamine Diong , Patrick Bas , Chloé Pelle , Wadih Sawaya
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.39-54, ⟨10.1007/978-3-642-32805-3_4⟩
Conference papers hal-00728161v1
Image document

Heterogeneous Secure Multi-Party Computation

 Mentari Djatmiko , Mathieu Cunche , Roksana Boreli , Aruna Seneviratne
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.198-210, ⟨10.1007/978-3-642-30054-7_16⟩
Conference papers hal-00747844v1
Image document

A Message Service for Opportunistic Computing in Disconnected MANETs

 Abdulkader Benchi , Frédéric Guidec , Pascale Launay
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.118-131, ⟨10.1007/978-3-642-30823-9_10⟩
Conference papers hal-00763325v1
Image document

Analyzing Recommender System's Performance Fluctuations across Users

 Charif Haydar , Azim Roussanaly , Anne Boyer
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.390-402, ⟨10.1007/978-3-642-32498-7_29⟩
Conference papers hal-00776932v1
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

OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems

 Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers hal-00991376v1
Image document

Synchronous Interface Theories and Time Triggered Scheduling

 Benot Delahaye , Uli Fahrenberg , Axel Legay , Dejan Ničković
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.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
Conference papers hal-01087992v1
Image document

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

 Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Conference papers hal-01482398v1
Image document

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

 Thao Dang , Noa Shalev
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Conference papers hal-01482399v1
Image document

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

 Angelo Gargantini , Marco Guarnieri , Eros Magri
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.168-183, ⟨10.1007/978-3-642-34691-0_13⟩
Conference papers hal-01482400v1
Image document

Using Behaviour Inference to Optimise Regression Test Sets

 Ramsay Taylor , Mathew Hall , Kirill Bogdanov , John Derrick
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.184-199, ⟨10.1007/978-3-642-34691-0_14⟩
Conference papers hal-01482401v1
Image document

Machine Learning Approach in Mutation Testing

 Joanna Strug , Barbara Strug
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.200-214, ⟨10.1007/978-3-642-34691-0_15⟩
Conference papers hal-01482402v1
Image document

Lightweight Automatic Error Detection by Monitoring Collar Variables

 João Santos , Rui Abreu
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.215-230, ⟨10.1007/978-3-642-34691-0_16⟩
Conference papers hal-01482403v1
Image document

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution

 Akihito Hiromori , Takaaki Umedu , Hirozumi Yamaguchi , Teruo Higashino
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.231-246, ⟨10.1007/978-3-642-34691-0_17⟩
Conference papers hal-01482405v1
Image document

Parameterized GUI Tests

 Stephan Arlt , Pedro Borromeo , Martin Schäf , Andreas Podelski
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.247-262, ⟨10.1007/978-3-642-34691-0_18⟩
Conference papers hal-01482406v1
Image document

Requirements-Driven Log Analysis (Extended Abstract)

 Klaus Havelund
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.1-4, ⟨10.1007/978-3-642-34691-0_1⟩
Conference papers hal-01482407v1
Image document

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

 Jörg Brauer , Jan Peleska , Uwe Schulze
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.8-23, ⟨10.1007/978-3-642-34691-0_3⟩
Conference papers hal-01482408v1
Image document

Managing Execution Environment Variability during Software Testing: An Industrial Experience

 Aymeric Hervieu , Benoit Baudry , Arnaud Gotlieb
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.24-38, ⟨10.1007/978-3-642-34691-0_4⟩
Conference papers hal-01482409v1
Image document

A Technique for Agile and Automatic Interaction Testing for Product Lines

 Martin Fagereng Johansen , Øystein Haugen , Franck Fleurey , Erik Carlson , Jan Endresen , et al.
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.39-54, ⟨10.1007/978-3-642-34691-0_5⟩
Conference papers hal-01482410v1
Image document

CaPTIF: Comprehensive Performance TestIng Framework

 Daniel A. Mayer , Orie Steele , Susanne Wetzel , Ulrike Meyer
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.55-70, ⟨10.1007/978-3-642-34691-0_6⟩
Conference papers hal-01482411v1
Image document

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems

 Mariam Lahami , Fairouz Fakhfakh , Moez Krichen , Mohamed Jmaiel
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.71-86, ⟨10.1007/978-3-642-34691-0_7⟩
Conference papers hal-01482412v1
Page :