A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters Fulltext Access 17 Pages 2007
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption 1 Fulltext Access 17 Pages 2007
A fibrational framework for possible-world semantics of Algol-like languages Fulltext Access 17 Pages 2007
Coordinating team players within a noisy Iterated Prisoner’s Dilemma tournament Fulltext Access 17 Pages 2007
Well-definedness and semantic type-checking for the nested relational calculus Fulltext Access 17 Pages 2007
The affix array data structure and its applications to RNA secondary structure analysis Fulltext Access 17 Pages 2007
Circular reference attributed grammars — their evaluation and applications Fulltext Access 17 Pages 2007
Rule-based modularization in model transformation languages illustrated with ATL Fulltext Access 17 Pages 2007
An experimental evaluation of self-managing availability in shared data spaces Fulltext Access 17 Pages 2007
A window-assisted video partitioning strategy for partitioning and caching video streams in distributed multimedia systems Fulltext Access 17 Pages 2007
GridBench: A tool for the interactive performance exploration of Grid infrastructures Fulltext Access 17 Pages 2007
Robust static allocation of resources for independent tasks under makespan and dollar cost constraints Fulltext Access 17 Pages 2007
Efficient detection of a locally stable predicate in a distributed system Fulltext Access 17 Pages 2007
Accelerated regular grid traversals using extended anisotropic chessboard distance fields on a parallel stream processor Fulltext Access 17 Pages 2007
Principles for designing data-/compute-intensive distributed applications and middleware systems for heterogeneous environments Fulltext Access 17 Pages 2007
Model-based methods to identify multiple cluster structures in a data set Fulltext Access 17 Pages 2007
Simulation-based sequential analysis of Markov switching stochastic volatility models Fulltext Access 17 Pages 2007
Missing data imputation, matching and other applications of random recursive partitioning Fulltext Access 17 Pages 2007
Robust specification of the roughness penalty prior distribution in spatially adaptive Bayesian P-splines models Fulltext Access 17 Pages 2007
A data-adaptive methodology for finding an optimal weighted generalized Mann–Whitney–Wilcoxon statistic Fulltext Access 17 Pages 2007
Synthesis of the ββ-distribution as an aid to stochastic global optimization Fulltext Access 17 Pages 2007
Smoothing splines estimators in functional linear regression with errors-in-variables Fulltext Access 17 Pages 2007
A new approach to mine frequent patterns using item-transformation methods Fulltext Access 17 Pages 2007
Axiomatic characterization of the AGM theory of belief revision in a temporal logic Fulltext Access 17 Pages 2007
Comparison of feature selection and classification algorithms in identifying malicious executables Fulltext Access 17 Pages 2007
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F Fulltext Access 17 Pages 2007
Memory management optimization problems for integrated circuit simulators Fulltext Access 17 Pages 2007
Randomized approximation algorithms for set multicover problems with applications to reverse engineering of protein and gene networks Fulltext Access 17 Pages 2007
Relational Parametricity for Control Considered as a Computational Effect Fulltext Access 18 Pages 2007
Exploring phrasal context and error correction heuristics in bootstrapping for geographic named entity annotation Fulltext Access 18 Pages 2007
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations Fulltext Access 18 Pages 2007
Security Attack Testing (SAT)—testing the security of information systems at design time Fulltext Access 18 Pages 2007
A lattice-based approach for updating access control policies in real-time Fulltext Access 18 Pages 2007
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions 1 Fulltext Access 18 Pages 2007
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme Fulltext Access 18 Pages 2007
Head gestures for perceptual interfaces: The role of context in improving recognition Fulltext Access 18 Pages 2007
Recognizing splicing languages: Syntactic monoids and simultaneous pumping Fulltext Access 18 Pages 2007
Polyhedral results and exact algorithms for the asymmetric travelling salesman problem with replenishment arcs Fulltext Access 18 Pages 2007
Randomized on-line algorithms and lower bounds for computing large independent sets in disk graphs Fulltext Access 18 Pages 2007