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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Microsoft Research
labStructName_s : DSIC
Image document

dFault: Fault Localization in Large-Scale Peer-to-Peer Systems

Pawan Prakash , Ramana Rao Kompella , Venugopalan Ramasubramanian , Ranveer Chandra
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.252-272, ⟨10.1007/978-3-642-16955-7_13⟩
Conference papers hal-01055280v1
Image document

Fuzzy-Timed Automata

F. Javier Crespo , Alberto Encina , Luis Llana
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.140-154, ⟨10.1007/978-3-642-13464-7_12⟩
Conference papers hal-01055157v1
Image document

Anonygator: Privacy and Integrity Preserving Data Aggregation

Krishna P. N. Puttaswamy , Ranjita Bhagwan , Venkata N. Padmanabhan
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.85-106, ⟨10.1007/978-3-642-16955-7_5⟩
Conference papers hal-01055270v1
Image document

Alternating Simulation and IOCO

Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1