3268 search results - page 134 / 654 » Structured Service Composition |
164
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
156
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
168
click to vote
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
147
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
173
click to vote
ECWEB
2007
Springer
16 years 17 days ago
2007
Springer
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...