2139 search results - page 326 / 428 » Modeling Aspect-Oriented Compositions |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
ECEASST
2008
13 years 10 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...
ENTCS
2008
13 years 10 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...
DEDS
2006
13 years 10 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...
JMM2
2008
13 years 10 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...