4592 search results - page 329 / 919 » Framework for Studying Substitution |
211
click to vote
FORTE
2007
15 years 9 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
214
click to vote
LWA
2008
15 years 9 months ago
2008
Weighted voting is the commonly used strategy for combining predictions in pairwise classification. Even though it shows excellent performance in practice, it is often criticized ...
192
click to vote
SNPD
2008
15 years 9 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
152
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
189
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...