2021 search results - page 47 / 405 » COCO: Composition Model and Composition Model Implementation |
130
click to vote
IEEECIT
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
114
click to vote
TCS
2008
15 years 1 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
141
click to vote
JLP
2008
15 years 1 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
129
click to vote
TSMC
2010
14 years 8 months ago
2010
In recent years, there has been a growing interest in the study of particle swarm optimization (PSO) in dynamic environments. This paper presents a new PSO model, called PSO with c...