9209 search results - page 1803 / 1842 » Data Space Randomization |
APLAS
2000
ACM
14 years 3 days ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
HICSS
1999
IEEE
14 years 1 days ago
1999
IEEE
As access to hypermedia documents becomes generally available, it becomes increasingly important to understand how casual users search for information. We have studied search patt...
HOTOS
1999
IEEE
14 years 1 days ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
SIBGRAPI
1999
IEEE
14 years 12 hour ago
1999
IEEE
Many computer applications are currently using digital video. Recent advances in digital imaging and faster networking infrastructure made this technology very popular, not only fo...
SAS
1999
Springer
13 years 12 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...