4401 search results - page 421 / 881 » Computing with Default Logic |
174
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
166
click to vote
ATAL
2005
Springer
16 years 10 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...
198
click to vote
CCS
2005
ACM
16 years 10 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...
184
click to vote
PADS
2004
ACM
16 years 7 days ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved signiï¬cantly without compromising ...
160
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...