769 search results - page 134 / 154 » The Real-Time Specification for Java |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents a novel approach of using web log data generated by course management systems (CMS) to help instructors become aware of what is happening in distance learning ...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
PIPES is a flexible and extensible infrastructure providing fundamental building blocks to implement a data stream management system (DSMS). It is seamlessly integrated into the J...