1173 search results - page 213 / 235 » On the Compositionality of Round Abstraction |
114
click to vote
ENTCS
2006
14 years 12 months ago
2006
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
ENTCS
2006
14 years 12 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
JOT
2008
14 years 11 months ago
2008
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
EAAI
2007
14 years 11 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
ENTCS
2007
14 years 11 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...