2558 search results - page 219 / 512 » Model Composition Contracts |
152
click to vote
FOSSACS
2012
Springer
14 years 17 days ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
121
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
162
Voted
ARTQOS
2003
Springer
15 years 8 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
142
click to vote
JCP
2008
15 years 4 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
154
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...