6020 search results - page 1057 / 1204 » A New Approach to Model Counting |
207
click to vote
GPC
2007
Springer
16 years 13 days ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
153
click to vote
HOLOMAS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
163
click to vote
ICB
2007
Springer
16 years 13 days ago
2007
Springer
This paper investigates a new approach to formulate performance indices of biometric system using information theoretic models. The performance indices proposed here (unlike conven...
128
click to vote
ICCS
2007
Springer
16 years 13 days ago
2007
Springer
New insights have been gained recently into the interplay between complex network architectures and the collective dynamics of simple elements coupled through them. The usual parad...
154
click to vote
LPAR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...