2838 search results - page 289 / 568 » Verifying Controlled Components |
118
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
137
click to vote
POLICY
2001
Springer
15 years 7 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
ISLPED
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we present a completely on-chip voltage regulation technique which promises to adjust the degree of voltage regulation in a digital logic chip in the face of process...
142
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
162
Voted
CVPR
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we propose a generative model for representing complex motion, such as wavy river, dancing fire and dangling cloth. Our generative method consists of four component...