3729 search results - page 136 / 746 » On Formal Modeling of Agent Computations |
229
click to vote
SACMAT
2009
ACM
16 years 27 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
148
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
196
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
179
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...
193
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...