5550 search results - page 692 / 1110 » Different Approaches to Proof Systems |
169
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In [6], we proposed a new commit protocol, OPT, specially designed for use in distributed firm-deadline real-time database systems. OPT allows transactions to “optimistically...
230
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Intrusion detection systems (IDSs) attempt to identify attacks by comparing collected data to predefined signatures known to be malicious (misuse-based IDSs) or to a model of lega...
230
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
195
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Different uses of memory protection schemes have different needs in terms of granularity. For example, heap security can benefit from chunk separation (by using protected "pa...
192
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Numerous functional genomics approaches have been developed to study the model organism yeast, Saccharomyces cerevisiae, with the aim of systematically understanding t...