6014 search results - page 123 / 1203 » Parametric Analysis of Computer Systems |
186
click to vote
SIGMOD
2006
ACM
16 years 8 days ago
2006
ACM
Although approximate query processing is a prominent way to cope with the requirements of data analysis applications, current database systems do not provide integrated and compre...
149
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
159
click to vote
IPPS
2006
IEEE
16 years 10 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
168
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
—Web-based systems commonly face unique set of vulnerabilities and security threats due to their high exposure, access by browsers, and integration with databases. In this paper ...
183
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...