4897 search results - page 665 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
189
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
150
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
170
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
174
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...
175
click to vote
EDCC
1994
Springer
15 years 10 months ago
1994
Springer
This paper discusses the problems of pin-level fault injection for dependability validation and presents the architecture of a pin-level fault injector called RIFLE. This system ca...