222 search results - page 34 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
140
Voted
JCS
2010
14 years 10 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
143
Voted
TCBB
2008
15 years 3 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
132
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Current efforts within the biomedical ontology community focus on achieving interoperability between various biomedical ontologies that cover a range of diverse domain...
160
Voted
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
136
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...