913 search results - page 90 / 183 » Formal Agent Development: Framework to System |
143
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
114
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...
122
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
160
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...