Symmetry helps: Bounded bi-directional dynamic programming for the elementary shortest path problem with resource constraints Fulltext Access 19 Pages 2006
Efficient offline algorithms for the bicriteria k-server problem and online applications Fulltext Access 19 Pages 2006
A Framework for Engineering Interactions in Java-based Component Systems Fulltext Access 19 Pages 2006
Haruspicy 3: The anisotropic generating function of directed bond-animals is not D-finite Fulltext Access 19 Pages 2006
Hereditary properties of partitions, ordered graphs and ordered hypergraphs Fulltext Access 19 Pages 2006
On the structure of the tight-span of a totally split-decomposable metric Fulltext Access 19 Pages 2006
Restricted 132-avoiding k-ary words, Chebyshev polynomials, and continued fractions Fulltext Access 19 Pages 2006
Avoiding patterns of length three in compositions and multiset permutations Fulltext Access 19 Pages 2006
On the distribution of the spectrum of the sum of two hermitian or real symmetric matrices Fulltext Access 19 Pages 2006
The first order definability of graphs: Upper bounds for quantifier depth Fulltext Access 19 Pages 2006
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems Fulltext Access 19 Pages 2006
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages Fulltext Access 19 Pages 2006
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment Fulltext Access 19 Pages 2006
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks Fulltext Access 19 Pages 2006
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches Fulltext Access 19 Pages 2006
An MDA approach to Access Control Specifications Using MOF and UML Profiles Fulltext Access 19 Pages 2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation Fulltext Access 20 Pages 2006
Further combinatorial constructions for optimal frequency-hopping sequences Fulltext Access 20 Pages 2006
Fully dynamic recognition algorithm and certificate for directed cographs Fulltext Access 20 Pages 2006
The geometric girth of a distance-regular graph having certain thin irreducible modules for the Terwilliger algebra Fulltext Access 20 Pages 2006
Contractions, cycle double covers, and cyclic colorings in locally connected graphs Fulltext Access 20 Pages 2006
A new degree sum condition for the existence of a contractible edge in a κ-connected graph Fulltext Access 20 Pages 2006
A branch-and-bound algorithm to solve the linear ordering problem for weighted tournaments Fulltext Access 20 Pages 2006
A Functional Programming Framework for Latency Insensitive Protocol Validation Fulltext Access 20 Pages 2006
Operator Algebras and the Operational Semantics of Probabilistic Languages Fulltext Access 20 Pages 2006
The vehicle routing problem with flexible time windows and traveling times Fulltext Access 20 Pages 2006