2136 search results - page 373 / 428 » A Game-Theoretic Operational Semantics |
121
click to vote
ESORICS
2010
Springer
15 years 5 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...
167
click to vote
DLS
2008
15 years 5 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...
141
Voted
MM
2010
ACM
15 years 4 months ago
2010
ACM
Targeting the same objective of alleviating the manual work as automatic annotation, in this paper, we propose a novel framework with minimal human effort to manually annotate a l...
120
click to vote
APIN
2008
15 years 4 months ago
2008
This paper presents a data-driven approach for feature selection to address the common problem of dealing with high-dimensional data. This approach is able to handle the real-valu...
129
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...