3729 search results - page 101 / 746 » On Formal Modeling of Agent Computations |
139
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
185
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
162
Voted
AFP
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
182
Voted
AIIDE
2008
15 years 8 months ago
2008
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
127
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...