6020 search results - page 790 / 1204 » A New Approach to Model Counting |
167
click to vote
PROMAS
2005
Springer
16 years 7 days ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
163
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
169
click to vote
GRAPHITE
2004
ACM
16 years 5 days ago
2004
ACM
Commodity clusters offer the ability to deliver higher performance computer graphics at lower prices than traditional graphics supercomputers. Immersive virtual reality systems de...
179
click to vote
EUROCRYPT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
192
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...