In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
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 ...
Theophilos A. Limniotes, Costas Mourlas, George A....
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...