382 search results - page 22 / 77 » Proof Theory for Distributed Knowledge |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Ever-growing amounts of data that must be distributed from data providers to consumers across the world necessitate a greater understanding of the software architectural implicati...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—A set of distributed non-cooperating relay antennas is known to be capable of orthogonalizing multiple sourcedestination pairs in space by coherent amplify-and-forward (AF) rela...
WOA
2007
13 years 11 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
PR
2008
13 years 9 months ago
2008
One of the objectives of precision agriculture is to minimize the volume of herbicides that are applied to the fields through the use of site-specific weed management systems. Thi...