4143 search results - page 169 / 829 » A theory of distributed aspects |
192
click to vote
LPAR
2004
Springer
15 years 12 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...
144
click to vote
CDC
2009
IEEE
15 years 11 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...
142
click to vote
DSS
2006
15 years 6 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...
171
click to vote
CCR
2005
15 years 6 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...
145
click to vote
ATAL
2007
Springer
16 years 23 days 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...