6020 search results - page 866 / 1204 » A New Approach to Model Counting |
169
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
150
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
206
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
176
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Signcryption is a public-key cryptographic primitive introduced by Zheng, which achieves both message confidentiality and nonrepudiatable origin authenticity, at a lower ...
213
click to vote
SOFT
2000
15 years 10 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...