17 search results - page 4 / 4 » Research Directions for Automated Software Verification: Usi... |
GIS
2010
ACM
13 years 2 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
SOSP
2003
ACM
14 years 1 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...