2043 search results - page 315 / 409 » Reasoning About Security Models |
104
Voted
RECOMB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
115
click to vote
APN
2010
Springer
15 years 5 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
114
click to vote
KR
2010
Springer
15 years 5 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
119
click to vote
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
107
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...