6020 search results - page 345 / 1204 » A New Approach to Model Counting |
171
click to vote
ICDT
1999
ACM
15 years 11 months ago
1999
ACM
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
150
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
179
click to vote
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this paper, we introduce a new approach to location estimation where, instead of locating a single client, we simultaneously locate a set of wireless clients. We present a B...
152
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. In this paper, we present a methodology for mapping an Embedded Signal Processing ESP application onto HPC platforms such that the throughput performance is maximized. Pr...
203
click to vote
SIMVIS
2003
15 years 8 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...