320 search results - page 43 / 64 » A Modal Logic of Information Change |
IPPS
1998
IEEE
15 years 4 months 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
15 years 5 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
14 years 10 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...
105
click to vote
IIR
2010
15 years 1 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...
126
click to vote
ARGMAS
2004
Springer
15 years 5 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ā...