1482 search results - page 182 / 297 » Facilitating Agent Development in Open Distributed Systems |
111
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
123
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the major challenges that underlie Grid ...
147
Voted
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
The ability to create effective multi-agent organizations is key to the development of larger, more diverse multi-agent systems. In this article we present KB-ORG: a fully automate...
204
click to vote
MAS
1998
Springer
15 years 9 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
140
Voted
WINE
2005
Springer
15 years 10 months ago
2005
Springer
We propose a simple and intuitive cost mechanism which assigns costs for the competitive usage of m resources by n selfish agents. Each agent has an individual demand; demands are...