875 search results - page 76 / 175 » On Reachability Under Uncertainty |
105
Voted
ARGMAS
2007
Springer
15 years 4 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...
82
Voted
AIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
101
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
90
Voted
COMAD
2008
15 years 2 months ago
2008
Role-based access control (RBAC) has attracted considerable research interest. However, the computational issues of RBAC models are yet to be thoroughly studied. In this paper, we...
147
Voted
STTT
2010
14 years 11 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...