6059 search results - page 228 / 1212 » A Technique for Verifying Measurements |
165
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
178
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we describe a novel approach to the visualization of the mapping between two schemas. Current approaches to visually defining such a mapping fail when the schemas or...
154
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
154
click to vote
ICADL
2005
Springer
16 years 5 days ago
2005
Springer
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...
154
click to vote
TRUST
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...