8555 search results - page 323 / 1711 » Property Based Coordination |
206
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
— In service-oriented environments, reputation-based service selection is gaining increasing prominence. We propose in this paper a social network-based approach to model and ana...
212
click to vote
CMSB
2004
Springer
16 years 28 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
190
click to vote
KI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we examine the performance of the two policies for keyword selection over standard document corpora of varying properties. While in corpus-based policy a single set ...
161
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
215
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...