320 search results - page 25 / 64 » A Modal Logic of Information Change |
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
112
click to vote
SYNTHESE
2010
14 years 6 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
RR
2007
Springer
15 years 5 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this work we propose a new way to achieve visual servoing using directly the information (as defined by Shannon) of the image. A metric derived from information theory, mut...
106
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...