2421 search results - page 294 / 485 » Integrity Assurance Technique Using Determinant Approach |
149
Voted
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
173
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
139
Voted
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
143
click to vote
ICIA
2007
15 years 7 months ago
2007
The CALO desktop assistant aims to provide assistance through many AI technologies, including several techniques for learning to perform tasks. Based on our experiences implementi...
103
click to vote
PRL
2007
15 years 4 months ago
2007
Current approaches for the prediction of functional relations from gene expression data often do not have a clear methodology for extracting features and are not accompanied by a ...