6020 search results - page 857 / 1204 » A New Approach to Model Counting |
156
click to vote
SIGOPSE
2004
ACM
16 years 2 days ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
180
click to vote
ADVIS
2004
Springer
16 years 2 days ago
2004
Springer
Emerging peer-to-peer services such as Freenet, Gnutella, Kazaa, and Napster provide an easy and efficient way to share resources and information. However, misuse or unfair exploit...
168
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
Research on coalition formation usually assumes the values of potential coalitions to be known with certainty. Furthermore, settings in which agents lack sufficient knowledge of ...
150
click to vote
CONCUR
2004
Springer
16 years 1 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
163
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...