We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
The field of music provides an interesting context for the development of digital library systems due to the variety of information formats used by music students and scholars. Th...
Like any other database application object database applications are subject to evolution. Evolution is, however, critical in object databases because it is the very characteristic...
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...