17 search results - page 4 / 4 » Research Directions for Automated Software Verification: Usi... |
163
Voted
GIS
2010
ACM
15 years 1 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...
128
Voted
SOSP
2003
ACM
16 years 10 days 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,...