7160 search results - page 1346 / 1432 » Organizing Multiagent Systems |
128
Voted
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
—When programming a spatial computing medium such as a cellular automaton, the hop count distance to some set of sources (particles) is an often used information. In particular, ...
136
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
152
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
140
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The GridBASE framework for database-driven grid computing is presented. The design and a prototype implementation of the framework is discussed. Industry-strength database technol...
106
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—In this paper, we study how to build a front-end flow management system for SIP application servers. This is challenging because of some special characteristics of SIP and SIP a...