690 search results - page 131 / 138 » Logical Agents for Language and Action |
IFIP
2003
Springer
15 years 4 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
15 years 3 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
14 years 11 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
15 years 5 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
15 years 1 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...