14 search results - page 3 / 3 » A Framework for Contract-Based Collaborative Verification an... |
PCI
2005
Springer
13 years 11 months ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
AMT
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
IIWAS
2008
13 years 7 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...