2021 search results - page 106 / 405 » COCO: Composition Model and Composition Model Implementation |
126
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
106
click to vote
JSC
2006
15 years 4 months ago
2006
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
120
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
142
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
132
Voted
IIWAS
2008
15 years 6 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...