6059 search results - page 239 / 1212 » A Technique for Verifying Measurements |
164
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
193
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
179
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
We propose a pipelined division architecture for low-power ECC applications, which is based on partialdivision on group basis and lookahead technique exploiting the linearity in f...
166
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
175
click to vote
AMC
2006
15 years 6 months ago
2006
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...