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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Microsoft Research
labStructName_s : Faculty of Electrical Engineering [Prague]
Page :
sorted by
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
Image document

Understanding Formal Description of Pitch-Based Input

 Ondřej Poláček , Zdeněk Míkovec
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩
Conference papers hal-01055204v1
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

Web Applications Usability Testing with Task Model Skeletons

 Ivo Maly , Zdenek Mikovec
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.158-165, ⟨10.1007/978-3-642-16488-0_13⟩
Conference papers hal-01055207v1
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
Page :