Sciweavers

2446 search results - page 113 / 490
» Principles of dataspace systems
Sort
View
LCN
2006
IEEE
14 years 4 months ago
Cerco: Supporting Range Queries with a Hierarchically Structured Peer-to-Peer System
Structured Peer-to-Peer systems are designed for a highly scalable, self organizing, and efficient lookup for data. The key space of the so-called Distributed Hash Tables (DHTs) ...
Simon Rieche, Klaus Wehrle, Leo Petrak, Clemens Wr...
FATES
2004
Springer
14 years 4 months ago
Online Testing of Real-time Systems Using Uppaal
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
ICCS
2004
Springer
14 years 4 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
IBPRIA
2003
Springer
14 years 4 months ago
A 3D Ultrasound System for Medical Diagnosis
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
João M. Sanches, Jorge S. Marques, Fausto P...
ACMDIS
1997
ACM
14 years 3 months ago
A Teleradiology System Design Case
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
Erik Borälv, Bengt Göransson