2012 search results - page 213 / 403 » CORAL - Control, Relations and Logic |
163
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
161
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
187
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
176
click to vote
EGC
2005
Springer
16 years 3 days ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
212
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...