2678 search results - page 483 / 536 » Operational Semantics of Transactions |
118
Voted
ATVA
2009
Springer
15 years 2 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
110
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
136
click to vote
EPEW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
101
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
139
click to vote
DLS
2008
15 years 2 months ago
2008
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...