3527 search results - page 243 / 706 » Test Automation in Practice |
159
click to vote
SOSP
2003
ACM
16 years 2 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,...
211
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
144
click to vote
ACMICEC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
159
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
177
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...