2272 search results - page 188 / 455 » Validity Invariants and Effects |
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
ICCD
1996
IEEE
14 years 2 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...