1893 search results - page 178 / 379 » Computational composites |
134
Voted
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
129
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
146
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
139
Voted
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
124
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...