902 search results - page 128 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
105
Voted
TACAS
1999
Springer
15 years 4 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
119
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
97
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
95
Voted
UTP
2010
14 years 10 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
113
Voted
TSE
2008
15 years 13 days ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...