250 search results - page 30 / 50 » Empirical software engineering at Microsoft Research |
COMPGEOM
2001
ACM
14 years 1 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...
AUIC
2003
IEEE
14 years 3 months ago
2003
IEEE
Many user interfaces include history lists that help users retrieve temporally ordered information such as previously visited web pages, email messages, and recently used files. ...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
CISIS
2009
IEEE
13 years 7 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
SP
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...