The research field of digital libraries must be viewed as a union of subfields from a variety of domains combined with new research issues in order to realize its full potential....
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...