154
click to vote
CHARME
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
CHARME
1995
Springer
15 years 7 months ago
1995
Springer
111
Voted
CDB
1995
Springer
15 years 7 months ago
1995
Springer
145
Voted
CBMS
1995
IEEE
15 years 7 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
109
click to vote
CBMS
1995
IEEE
15 years 7 months ago
1995
IEEE
Complex clinical problems involving huge experimental evidence require a preliminary validation of observed data. This may avoid biasing due to incorrect sampling and clarify the ...