2088 search results - page 67 / 418 » The SPARK Agent Framework |
205
click to vote
JIPS
2007
15 years 6 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
174
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
152
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
152
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Agent interaction protocols are usually specified in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for ...
161
click to vote
ISTAR
2008
15 years 7 months ago
2008
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...