Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Sub-domain level 1 : info.info-gt

Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

Fides Aarts , Bengt Jonsson , Johan Uijen
IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers hal-00767416v1
Image document

Extending Signatures of Reputation

Emmanuelle Anceaume , Gilles Guette , Paul Lajoie-Mazenc , Thomas Sirvent , Valérie Viet Triem Tong
Hansen, M.; Hoepman, J.-H.; Leenes, R.; Whitehouse, D. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.165-176, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_13⟩
Book sections hal-00997133v1
Image document

The Role of Ontologies in Enabling Dynamic Interoperability

Vatsala Nundloll , Paul Grace , Gordon Blair
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.179-193, ⟨10.1007/978-3-642-21387-8_14⟩
Conference papers inria-00594301v1
Image document

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity

Yérom-David Bromberg , Paul Grace , Laurent Réveillère , Gordon Blair
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers hal-00643601v1