2838 search results - page 212 / 568 » Verifying Controlled Components |
97
Voted
CBMS
1999
IEEE
15 years 5 months ago
1999
IEEE
Recent advances in networking, robotics, and computer technology allow today realtime diagnosis, consultation, and education by using images obtained through remote microscopy. Th...
127
Voted
CASES
2004
ACM
15 years 4 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
ECSCW
2001
15 years 2 months ago
2001
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...
124
Voted
PC
1998
15 years 11 days ago
1998
We describe Javaflow and Paraflow, the client and server parts of a digital library, providing high-performance data-retrieval and data-mining services, with emphasis on user in...
101
Voted
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...