637 search results - page 64 / 128 » Inconsistency-Tolerant Integrity Checking |
146
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Resolving local ambiguities is an important issue for shape from shading (SFS). Pixel ambiguities of SFS can be eliminated by propagation approaches. However, patch ambiguities st...
135
Voted
ISPD
1997
ACM
15 years 7 months ago
1997
ACM
- This paper reports on a highly effective methodology to construct complex high performance microprocessors. Critical aspects of the methodology include an integrated database for...
207
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
127
click to vote
CSREASAM
2006
15 years 5 months ago
2006
The major concern for a computer system is its security and integrity. It is necessary to check the security level of your system and keep it updated. This can be best achieved by ...
116
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...