2685 search results - page 162 / 537 » A Formal Semantics for SPKI |
139
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...
191
click to vote
ICTAC
2004
Springer
16 years 6 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
183
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
191
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
167
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...