690 search results - page 131 / 138 » Logical Agents for Language and Action |
IFIP
2003
Springer
14 years 1 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
JCS
2008
13 years 7 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
IJCAI
2003
13 years 9 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...