278 search results - page 52 / 56 » A Phase-Based Approach to Creating Highly Reliable Software |
IWMM
2010
Springer
14 years 7 days ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
REFSQ
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
TOG
2008
13 years 7 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
IPM
2007
13 years 7 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...