1173 search results - page 61 / 235 » On the Compositionality of Round Abstraction |
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
DBISP2P
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
ECOOP
1992
Springer
14 years 2 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
ACII
2005
Springer
13 years 12 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...