647 search results - page 24 / 130 » Collage, composites, construction |
AMAST
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
63
Voted
ISMVL
1997
IEEE
15 years 1 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
170
Voted
ACRI
2010
Springer
14 years 11 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...
JLP
2006
14 years 9 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ€...