Fitness landscape of the cellular automata majority problem: View from the “Olympus” Fulltext Access 24 Pages 2007
Simulating and Compiling Code for the Sequential Quantum Random Access Machine Fulltext Access 24 Pages 2007
High Level Conflict Management Strategies in Advanced Access Control Models Fulltext Access 24 Pages 2007
Creating and reconciling diagrams after executing model transformations Fulltext Access 24 Pages 2007
Implementing aspect-oriented programming constructs as modular language extensions Fulltext Access 24 Pages 2007
Faster and simpler approximation algorithms for mixed packing and covering problems Fulltext Access 24 Pages 2007
CFP-tree: A compact disk-based structure for storing and querying frequent itemsets Fulltext Access 25 Pages 2007
Algebraic models of behaviour and correctness of SMT and CMT processors Fulltext Access 25 Pages 2007
A calculus of logical relations for over- and underapproximating static analyses Fulltext Access 25 Pages 2007
Cycles and communicating classes in membrane systems and molecular dynamics Fulltext Access 25 Pages 2007
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures Fulltext Access 25 Pages 2007
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs Fulltext Access 25 Pages 2007
Observational Equivalence for the Interaction Combinators and Internal Separation Fulltext Access 25 Pages 2007
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories Fulltext Access 25 Pages 2007
An efficiently computed lower bound on the number of recombinations in phylogenetic networks: Theory and empirical study Fulltext Access 25 Pages 2007
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) Fulltext Access 25 Pages 2007
Monte Carlo methods for derivatives of options with discontinuous payoffs Fulltext Access 25 Pages 2007
Worst-case estimation for econometric models with unobservable components Fulltext Access 25 Pages 2007
On principle-based evaluation of extension-based argumentation semantics Fulltext Access 26 Pages 2007
Odyssey-SCM: An integrated software configuration management infrastructure for UML models Fulltext Access 26 Pages 2007
Scheduling orders for multiple product types to minimize total weighted completion time Fulltext Access 26 Pages 2007
Improved statistical inference for the two-parameter Birnbaum–Saunders distribution Fulltext Access 26 Pages 2007
Exploiting functional dependencies in declarative problem specifications Fulltext Access 26 Pages 2007
A logic for information flow analysis with an application to forward slicing of simple imperative programs Fulltext Access 26 Pages 2007
Compact and tractable automaton-based representations of time granularities Fulltext Access 27 Pages 2007
Evaluation of probabilistic queries over imprecise data in constantly-evolving environments Fulltext Access 27 Pages 2007
Rewriting queries using views with access patterns under integrity constraints Fulltext Access 27 Pages 2007
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I) Fulltext Access 27 Pages 2007
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model Fulltext Access 27 Pages 2007
ScriptEase: A generative/adaptive programming paradigm for game scripting Fulltext Access 27 Pages 2007