4460 search results - page 366 / 892 » Formal methods for interactive systems |
166
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
176
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...
179
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
188
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Dealing with multi-object tracking in a particle filter raises several issues. A first essential point is to model possible interactions between objects. In this article, we repr...
203
click to vote
ESORICS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....