866 search results - page 48 / 174 » A Formal Investigation of |
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
13 years 11 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
FORTE
2008
13 years 11 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...