2558 search results - page 396 / 512 » Model Composition Contracts |
106
click to vote
ECEASST
2008
15 years 4 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
152
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...
139
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...
125
Voted
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...
164
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...