2152 search results - page 19 / 431 » An Abstract Account of Composition |
ACTA
2004
14 years 11 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
ENTCS
2002
14 years 11 months ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
ACSD
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
103
click to vote
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
PTS
2007
15 years 1 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs