2607 search results - page 447 / 522 » On the Architecture of System Verification Environments |
MICCAI
2002
Springer
15 years 10 months ago
2002
Springer
This paper presents a master-slave system applied to the remote diagnosis from echographic data. The motion of the master manipulator is remotely controlled by a physician and repr...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
MOBIHOC
2001
ACM
15 years 9 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
ICDS
2009
IEEE
15 years 4 months ago
2009
IEEE
- The emergence of high-speed networks, Grid Computing, Service-Oriented Architectures, and an ever increasing ambient connection to mobile Internet has enabled an underpinning inf...
IPSN
2009
Springer
15 years 4 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...