2152 search results - page 246 / 431 » An Abstract Account of Composition |
235
click to vote
FORTEST
2008
15 years 8 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
201
click to vote
BILDMED
2008
15 years 8 months ago
2008
Abstract. We present an illustrative rendering extension for virtual endoscopy to enhance depth perception. For this purpose different hatch textures are applied and their ability ...
151
click to vote
BNCOD
2008
15 years 8 months ago
2008
Abstract. k-Anonymisation is a technique for masking microdata in order to prevent individual identification. Besides preserving privacy, data anonymised by such a method must also...
166
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Previous evaluations of server selection methods for federated search have either used metrics which are unconnected with user satisfaction, or have not been able to acco...
154
click to vote
COMMA
2008
15 years 8 months ago
2008
We present an argumentation-based approach to contract negotiation amongst agents. Contracts are simply viewed as abstract transactions of items between a buyer agent and a seller ...