3729 search results - page 266 / 746 » On Formal Modeling of Agent Computations |
155
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
183
click to vote
AAAI
2008
15 years 9 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
194
click to vote
DBSEC
2007
15 years 8 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
144
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
156
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
A computer worm is an autonomous malicious, selfreplicating and propagating piece of code that is able to spread fast in computer networks, exploiting the vulnerabilities it disco...