3573 search results - page 465 / 715 » Reasoning about Codata |
143
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
170
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
169
click to vote
COORDINATION
2007
Springer
16 years 21 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
161
click to vote
ER
2007
Springer
16 years 21 days ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
135
click to vote
FMCO
2007
Springer
16 years 21 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...