1120 search results - page 49 / 224 » A Formal Framework for Interactive Agents |
100
click to vote
IJWIS
2007
14 years 9 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
107
click to vote
NFM
2011
14 years 4 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
103
click to vote
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
IJLT
2008
14 years 9 months ago
2008
: This paper addresses the challenge of enhancing social interaction through value-added connections among online community members engaged in knowledge exchange. We report on our ...