1633 search results - page 123 / 327 » On the Verification of Temporal Properties |
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
NJC
2006
13 years 7 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper investigates the performance of different temporal concealment techniques when incorporated within a long-term motion compensated video codec. In particular, the paper ...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
In this paper we develop a spatio-temporal registration algorithm for cardiac MR image sequences. The algorithm has the ability to correct any spatial misalignment between the imag...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...