3729 search results - page 257 / 746 » On Formal Modeling of Agent Computations |
142
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
177
click to vote
TCS
2010
15 years 5 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
199
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
166
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
179
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...