Filter your results
- 22
- 22
- 22
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 7
- 2
- 1
- 22
- 22
- 22
- 16
- 15
- 15
- 14
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
22 results
|
|
sorted by
|
|
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.87-102, ⟨10.1007/978-3-642-34691-0_8⟩
Conference papers
hal-01482413v1
|
||
|
Failure Analysis and Modeling in Large Multi-site Infrastructures13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.127-140, ⟨10.1007/978-3-642-38541-4_10⟩
Conference papers
hal-01489451v1
|
||
|
A Timed Component Algebra for Services15th 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, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers
hal-01515250v1
|
||
|
Fluidify: Decentralized Overlay Deployment in a Multi-cloud World15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.1-15, ⟨10.1007/978-3-319-19129-4_1⟩
Conference papers
hal-01775032v1
|
||
|
JACPoL: A Simple but Expressive JSON-based Access Control Policy LanguageWISTP 2017 : 11th IFIP International Conference on Information Security Theory and Practice, Sep 2017, Heraklion, Crete, Greece. pp.56-72, ⟨10.1007/978-3-319-93524-9_4⟩
Conference papers
hal-01802720v1
|
||
|
Adaptive Guard Time for Energy-Efficient IEEE 802.15.4 TSCH Networks17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_2⟩
Conference papers
hal-02458546v1
|
||
|
Disappointments and Delights, Fears and Hopes induced by a few decades in Performance EvaluationPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.1-9, ⟨10.1007/978-3-642-25575-5_1⟩
Conference papers
hal-00789638v1
|
||
|
Managing Execution Environment Variability during Software Testing: An Industrial Experience24th 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
|
||
|
On the problem of revenue sharing in multi-domain federations11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.252-264, ⟨10.1007/978-3-642-30054-7_20⟩
Conference papers
hal-00725646v1
|
||
|
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers
hal-01767328v1
|
||
|
Are 128 Bits Long Keys Possible in Watermarking?13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.191-191, ⟨10.1007/978-3-642-32805-3_15⟩
Conference papers
hal-01540890v1
|
||
|
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs14th 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.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers
hal-01528727v1
|
||
|
Bringing Complex Event Processing into Multitree Modelling of Sensors16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers
hal-01434795v1
|
||
|
Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
Conference papers
hal-00739604v1
|
||
|
Improving Mozilla's In-App Payment PlatformOSS 2014 : 10th IFIP WG 2.13 International Conference on Open Source Systems : Open Source Software: Mobile Open Source Technologies, May 2014, San Jose, Costa Rica. pp.103 - 106, ⟨10.1007/978-3-642-55128-4_13⟩
Conference papers
hal-01162737v1
|
||
|
An Approach to Derive Usage Models Variants for Model-Based Testing26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.80-96, ⟨10.1007/978-3-662-44857-1_6⟩
Conference papers
hal-01025124v2
|
||
|
Cost Bounds of Multicast Light-trees in WDM NetworksIFIP Networking conference, May 2010, Chennai, India. pp.339-350, ⟨10.1007/978-3-642-12963-6_27⟩
Conference papers
hal-00541058v2
|
||
|
A transversal alignment between measurements and enterprise architecture for early verification of telecom service design19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256, ⟨10.1007/978-3-642-40552-5_22⟩
Conference papers
hal-00859979v1
|
||
|
Geographical Location and Load Based Gateway Selection for Optimal Traffic Offload in Mobile Networks10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.331-342, ⟨10.1007/978-3-642-20757-0_26⟩
Conference papers
hal-00789640v1
|
||
|
DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection SystemsDAIS - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.148-165, ⟨10.1007/978-3-030-50323-9_10⟩
Conference papers
hal-03223251v1
|
||
|
Competition between wireless service providers sharing a radio resource11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.355-365, ⟨10.1007/978-3-642-30054-7_28⟩
Conference papers
hal-00725181v1
|
||
|
Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers
hal-01489457v1
|