10040 search results - page 305 / 2008 » Distributed participatory design |
157
click to vote
WDAG
2005
Springer
16 years 3 days ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
172
click to vote
WOSS
2004
ACM
16 years 1 days ago
2004
ACM
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...
161
click to vote
GECCO
2004
Springer
16 years 21 hour ago
2004
Springer
In this paper we describe an ant system algorithm (ASMC) for the problem of finding the maximum clique in a given graph. In the algorithm each ant has only local knowledge of the ...
178
click to vote
ICLP
2004
Springer
16 years 13 hour ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
194
click to vote
LPAR
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...