58 search results - page 1 / 12 » room 2000 |
ROOM
2000
13 years 9 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
ROOM
2000
13 years 9 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
The efficiency of compressing color-quantized images using general purpose lossless image coding methods depends on the degree of smoothness of the index images. A wellknown and v...
ROOM
2000
13 years 9 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...