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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Inria Rennes – Bretagne Atlantique
labStructName_s : ComNets
Image document

A Timed Component Algebra for Services

Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
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, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1
Image document

Addressing the Challenges of E-Healthcare in Future Mobile Networks

Safdar Khan Marwat , Thomas Pötsch , Yasir Zaki , Thushara Weerawardane , Carmelita Görg
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.90-99, ⟨10.1007/978-3-642-40552-5_9⟩
Conference papers hal-01497053v1