4224 search results - page 484 / 845 » Reasoning about Choice |
193
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
161
Voted
DBPL
2003
Springer
16 years 1 days ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
180
Voted
EGOV
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
187
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
194
click to vote
ICALP
2003
Springer
16 years 1 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...