4143 search results - page 169 / 829 » A theory of distributed aspects |
LPAR
2004
Springer
14 years 3 months 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...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
DSS
2006
13 years 10 months ago
2006
The rapid growth of the consumer-to-consumer online auction market demands research into its market structure and future trends. We propose that online reputation is becoming an i...
CCR
2005
13 years 10 months ago
2005
This paper introduces large scale content distribution protocols, which are capable of scaling to massive numbers of users and providing low delay end-to-end delivery. Delivery of...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...