ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...