7167 search results - page 1263 / 1434 » A Technique for Invariant Generation |
237
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
As XML has developed over the past few years, its role has expanded beyond its original domain as a semantics-preserving markup language for online documents, and it is now also t...
214
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Mobile phones have the potential to be useful agents for their owners by detecting and reporting situations that are of interest. Several challenges emerge in the case of detectin...
202
click to vote
Publication
We consider the colorization problem of grayscale images when some pixels, called scribbles, with initial colors are given. In this paper, we propose a new multi-layer graph model ...
213
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Social media sites (e.g., Flickr, YouTube, and Facebook) are a popular distribution outlet for users looking to share their experiences and interests on the Web. These sites host ...
205
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...