532 search results - page 55 / 107 » Distributed, Modular HTL |
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
AOSD
2010
ACM
14 years 3 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
Clusters are now composed of non-uniform nodes with different CPUs, disks or network cards so that customers can adapt the cluster configuration to the changing technologies and t...
APN
2010
Springer
14 years 1 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...