1894 search results - page 246 / 379 » A TLA Proof System |
132
click to vote
LISA
2007
15 years 6 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
135
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...
121
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
110
click to vote
CLIMA
2007
15 years 5 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
153
click to vote
MSV
2004
15 years 5 months ago
2004
The main research in the area of image databases addresses the improvement of retrieval quality and the speedup of the query processing. A number of image retrieval systems reache...