104 search results - page 10 / 21 » Verification Under Increasing Dimensionality |
132
click to vote
CSDA
2006
15 years 3 months ago
2006
: Kernel density estimation for multivariate data is an important technique that has a wide range of applications. However, it has received significantly less attention than its un...
130
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
115
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
127
click to vote
IPAW
2010
15 years 1 months ago
2010
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
133
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...