9521 search results - page 1826 / 1905 » Compiling with continuations, continued |
108
click to vote
IJDE
2007
15 years 1 months ago
2007
The Daubert process used in the admissibility of evidence contains major guidelines applied in assessing forensic procedures, two of which are testing and error rates. The Digital...
115
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...
107
click to vote
SIGOPS
2008
15 years 1 months ago
2008
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...
114
click to vote
SIGOPS
2008
15 years 1 months ago
2008
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...
ACS
2005
15 years 1 months ago
2005
A `2-group' is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representa...