1173 search results - page 53 / 235 » On the Compositionality of Round Abstraction |
NADA
1998
Springer
14 years 2 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
ER
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
ECMDAFA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...