Sciweavers

2658 search results - page 55 / 532
» Micro-communication Element System
Sort
View
DL
1995
Springer
143views Digital Library» more  DL 1995»
15 years 7 months ago
Digital Libraries: Issues and Architectures
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....
Peter J. Nürnberg, Richard Furuta, John J. Le...
CSL
2008
Springer
15 years 5 months ago
Type-Based Termination with Sized Products
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...
Gilles Barthe, Benjamin Grégoire, Colin Rib...
WSC
1997
15 years 5 months ago
A Hybrid Tool for the Performance Evaluation of NUMA Architectures
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...
James Westall, Robert Geist
IEAAIE
2000
Springer
15 years 7 months ago
Intelligent and Self-Adaptive Interface
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...
Hadhoum Boukachour, Claude Duvallet, Alain Cardon
ITS
2000
Springer
112views Multimedia» more  ITS 2000»
15 years 7 months ago
Model of an Adaptive Support Interface for Distance Learning
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...
Aude Dufresne