2205 search results - page 283 / 441 » Mutation Operators for Specifications |
143
click to vote
CN
2002
15 years 3 months ago
2002
Abstract-The delivery of large files to single users, such as application programs for some versions of the envisioned network computer, or movies, is expected by many to be one of...
141
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In most file systems, if a file is deleted, only the metadata of the file is deleted or modified and the file's data is still stored on the physical media. Some users require...
139
click to vote
SIGOPS
2008
15 years 3 months ago
2008
A principal challenge in operating system design is controlling system throughput and responsiveness while maximizing resource utilization. Unlike previous attempts in kernel reso...
153
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
174
click to vote
FAST
2009
15 years 1 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...