2060 search results - page 128 / 412 » The Composition of Event-B Models |
140
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
130
click to vote
JCIT
2010
14 years 11 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
134
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
129
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
148
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...