2060 search results - page 312 / 412 » The Composition of Event-B Models |
156
click to vote
ENTCS
2008
15 years 4 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
142
click to vote
DEDS
2006
15 years 4 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
128
click to vote
JMM2
2008
15 years 4 months ago
2008
We have developed a novel software program called `Predict Your Child' that, given photographs of potential parent faces, generates plausible looking children. The parent phot...
171
click to vote
JSW
2008
15 years 4 months ago
2008
Automatic discovery of semantic relations between resources is a key issue in Web-based intelligent applications such as document understanding and Web services. This paper explore...
111
click to vote
JUCS
2008
15 years 4 months ago
2008
: Software adaptation techniques appear in many disparate areas of research literature, and under many guises. This paper enables a clear and uniform understanding of the related r...