1993 search results - page 171 / 399 » On Action Theory Change |
196
click to vote
CADE
2011
Springer
14 years 23 days ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
103
Voted
ECIS
2011
14 years 17 days ago
2011
In this paper, we draw on evidence from a case study to explore how to enable organizational creativity within a centralised information system. We argue that, even if the project...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
126
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
135
Voted
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...