6016 search results - page 782 / 1204 » The semantics of graphical languages |
190
click to vote
CCS
2004
ACM
16 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
204
click to vote
ICFEM
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
199
click to vote
ISMIS
2003
Springer
16 years 24 days ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
224
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...
185
click to vote
KR
2010
Springer
16 years 12 days ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...