104 search results - page 10 / 21 » Verification Under Increasing Dimensionality |
99
Voted
CSDA
2006
14 years 11 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...
92
Voted
SIGSOFT
2003
ACM
16 years 12 days 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)....
ACSAC
2006
IEEE
15 years 5 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...
100
Voted
IPAW
2010
14 years 9 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 ...
100
click to vote
FSEN
2007
Springer
15 years 3 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...