Expressive Completeness for LTL With Modulo Counting and Group Quantifiers Fulltext Access 14 Pages 2011
Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms Fulltext Access 14 Pages 2011
The Monte Carlo EM method for the parameter estimation of biological models Fulltext Access 14 Pages 2011
An Ontology-driven Document Retrieval Strategy for Organizational Knowledge Management Systems Fulltext Access 14 Pages 2011
A Model Driven Approach to the Analysis of Quality Scenarios within Self-Adaptable SOA Systems Fulltext Access 14 Pages 2011
An extension of the Lyndon–Schützenberger result to pseudoperiodic words Fulltext Access 14 Pages 2011
Some structural properties of minimally contraction-critically 5-connected graphs Fulltext Access 14 Pages 2011
On the approximability of the minimum strictly fundamental cycle basis problem Fulltext Access 14 Pages 2011
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi Fulltext Access 14 Pages 2011
On the expressive power of CNF formulas of bounded tree- and clique-width Fulltext Access 14 Pages 2011
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine Fulltext Access 14 Pages 2011
The ring-star problem: A new integer programming formulation and a branch-and-cut algorithm Fulltext Access 14 Pages 2011
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic Fulltext Access 14 Pages 2011
Orientable embeddings and orientable cycle double covers of projective-planar graphs Fulltext Access 15 Pages 2011
Strictly monotonic multidimensional sequences and stable sets in pillage games Fulltext Access 15 Pages 2011
A General Label Search to investigate classical graph search algorithms Fulltext Access 15 Pages 2011
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems Fulltext Access 15 Pages 2011
Classification of nonorientable regular embeddings of complete bipartite graphs Fulltext Access 15 Pages 2011
The group structure of pivot and loop complementation on graphs and set systems Fulltext Access 15 Pages 2011
The role of evolutionary operations in accepting hybrid networks of evolutionary processors Fulltext Access 15 Pages 2011
Enhanced Type-based Component Compatibility Using Deployment Context Information Fulltext Access 15 Pages 2011
Combining Proof and Model-checking to Validate Reconfigurable Architectures Fulltext Access 15 Pages 2011
ENT: A Generic Meta-Model for the Description of Component-Based Applications Fulltext Access 15 Pages 2011
A new time-discretization for delay multiple-input nonlinear systems using the Taylor method and first order hold Fulltext Access 15 Pages 2011
Complexity analysis of an assignment problem with controllable assignment costs and its applications in scheduling Fulltext Access 15 Pages 2011
The impact of mobility on the geocasting problem in mobile ad-hoc networks: Solvability and cost Fulltext Access 15 Pages 2011
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains Fulltext Access 15 Pages 2011
Good programming in transactional memory: Game theory meets multicore architecture Fulltext Access 15 Pages 2011
The optimal All-Partial-Sums algorithm in commutative semigroups and its applications for image thresholding segmentation Fulltext Access 15 Pages 2011