3384 search results - page 252 / 677 » More Testable Properties |
187
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
176
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
164
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
161
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
172
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
2004, Chang et al. suggested an approach that solves the problem of secret sharing with access structures in a hierarchy. They used the concept of discrete logarithmto reuse shado...