6020 search results - page 473 / 1204 » A New Approach to Model Counting |
236
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
188
click to vote
ECBS
2008
IEEE
16 years 1 months ago
2008
IEEE
Model Driven Performance Engineering (MDPE) enables early performance feedback in a MDE process, in order to avoid late identification of performance problems which could cause si...
174
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
– With the World Wide Web popularity the information retrieval area has a new challenge intending to retrieve information resources by their meaning by using a knowledge base. No...
214
click to vote
ICOIN
2007
Springer
16 years 1 months ago
2007
Springer
Exploring topological structure at Autonomous System (AS) level is indispensable for understanding most issues in Internet services. Previous models of AS graph involve address or ...
188
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...