7529 search results - page 1135 / 1506 » The Modula-3 Type System |
150
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
197
click to vote
ISD
1999
Springer
15 years 11 months ago
1999
Springer
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...
183
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
205
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
174
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...