1422 search results - page 207 / 285 » Complementation in Abstract Interpretation |
153
Voted
DBSEC
2010
15 years 9 days ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...
177
click to vote
KI
2010
Springer
14 years 10 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
139
Voted
SIAMMAX
2010
14 years 10 months ago
2010
Abstract. Given a symmetric positive definite matrix A, we compute a structured approximate Cholesky factorization A RT R up to any desired accuracy, where R is an upper triangula...
154
click to vote
TON
2010
14 years 10 months ago
2010
Abstract--After the seminal work by Taqqu et al. relating selfsimilarity to heavy-tailed distributions, a number of research articles verified that aggregated Internet traffic time...
136
Voted
TON
2010
14 years 10 months ago
2010
Abstract--A framework for designing feedback-based scheduling algorithms is proposed for elegantly solving the notorious packet missequencing problem of a load-balanced switch. Unl...