6059 search results - page 213 / 1212 » A Technique for Verifying Measurements |
189
click to vote
JCS
2002
15 years 6 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
173
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- The majority of slosh-control techniques have required feedback control to suppress liquid oscillations induced by container motion. However, input shaping is an alterna...
208
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
204
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
171
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...