2838 search results - page 490 / 568 » Verifying Controlled Components |
IH
1998
Springer
14 years 1 months ago
1998
Springer
Theoretical modeling of watermarks allow prediction of the detector reliability and facilitates the development of more reliable systems. In particular, mathematical evaluation is ...
JSSPP
1998
Springer
14 years 1 months ago
1998
Springer
Metacomputing systems are intended to support remote and/or concurrent use of geographically distributed computational resources. Resource management in such systems is complicate...
ICECCS
1997
IEEE
14 years 1 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
CVRMED
1997
Springer
14 years 1 months ago
1997
Springer
The Neurovisualization Lab at the University of Virginia is developing the Integrated Remote Neurosurgical System (IRNS) to allow mentoring of neurosurgical procedures in remote l...
ISSS
1996
IEEE
14 years 1 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...