940 search results - page 83 / 188 » Local rely-guarantee reasoning |
130
Voted
VMV
2003
15 years 2 months ago
2003
In this paper we propose a new topology based metric for 2D vector fields. This metric is based on the concept of feature flow fields. We show that it incorporates both the cha...
123
click to vote
SIGKDD
2008
15 years 19 days ago
2008
A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized...
109
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
122
Voted
VOTEID
2007
Springer
15 years 6 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
93
Voted
CONTEXT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...