58 search results - page 1 / 12 » room 2000 |
ROOM
2000
13 years 5 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 5 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 6 months ago
2000
IEEE
ICIP
2003
IEEE
14 years 6 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 5 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...