7918 search results - page 128 / 1584 » Model Composition Directives |
144
click to vote
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
118
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
106
Voted
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
128
Voted
ICCL
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
204
Voted
ACRI
2010
Springer
15 years 2 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...