1128 search results - page 137 / 226 » Little Engines of Proof |
104
click to vote
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
We introduce Re-FUSE, a framework that provides support for restartable user-level file systems. Re-FUSE monitors the user-level file-system and on a crash transparently restart...
125
click to vote
ICSM
1995
IEEE
15 years 4 months ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
95
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
103
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Researchers in Web engineering have regularly noted that existing Web application development environments provide little support for managing the evolution of Web applications. K...