320 search results - page 43 / 64 » A Modal Logic of Information Change |
IPPS
1998
IEEE
14 years 22 days ago
1998
IEEE
Circuit-switched Banyan interconnection networks can be built from simple switching elements that do not have logical processing or buffering capabilities. This paper describes a ...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ļ¬...
IANDC
2010
13 years 7 months ago
2010
Broadcast semantics poses signiļ¬cant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
IIR
2010
13 years 10 months ago
2010
We study the evaluation of opinion retrieval systems. Opinion retrieval is a relatively new research area, nevertheless classical evaluation measures, those adopted for ad hoc ret...
ARGMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the most diļ¬cult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agentā...