7607 search results - page 208 / 1522 » informs 2006 |
151
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
180
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
129
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
147
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
162
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We outline a framework for managing information quality (IQ) in eScience, using ontologies, semantic annotation of resources, and data bindings. Scientists define the qua...