342 search results - page 20 / 69 » Compositional Testing with ioco |
CONCUR
1994
Springer
13 years 11 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ROOM
2000
13 years 8 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
FUIN
2008
13 years 7 months ago
2008
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
ICIAP
2009
ACM
14 years 6 months ago
2009
ACM
This paper presents a novel method for medical image registration.
The global transformation is obtained by composing affine transformations,
which are recovered locally from giv...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...