3742 search results - page 489 / 749 » On the Use of Formal Techniques for Validation |
198
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
186
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
162
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
180
click to vote
MOBIQUITOUS
2005
IEEE
16 years 6 days ago
2005
IEEE
Caching techniques can be used to reduce bandwidth consumption and data access delay in wireless ad hoc networks. When cache is used, cache consistency issues must be addressed. T...
195
click to vote
VMV
2007
15 years 7 months ago
2007
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...