4690 search results - page 744 / 938 » An operational semantics for Scheme |
248
click to vote
EPEW
2010
Springer
15 years 8 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...
180
click to vote
ESORICS
2010
Springer
15 years 8 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...
204
click to vote
MM
2010
ACM
15 years 7 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...
186
click to vote
APIN
2008
15 years 7 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...
193
click to vote
CORR
2008
Springer
15 years 7 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...