1943 search results - page 192 / 389 » Software and higher education |
179
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
176
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
150
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents LRU-SP, a size-adjusted and popularity-aware extension to Least Recently Used (LRU) for caching web objects. The standard LRU, focusing on recently used and eq...
157
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Distributed Virtual Communication Machine (DVCM) is a software communication architecture for clusters of workstations equipped with programmable network interfaces (NIs) for ...
167
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...