187 search results - page 8 / 38 » Formal Semantics of the ProCom Real-Time Component Model |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
FMOODS
2000
13 years 11 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
FMCO
2009
Springer
13 years 8 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
FMCO
2008
Springer
13 years 12 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...