A near linear time approximation scheme for Steiner tree among obstacles in the plane Fulltext Access 15 Pages 2010
Optimal on-line colorings for minimizing the number of ADMs in optical networks Fulltext Access 15 Pages 2010
A Strict-Observational Interface Theory for Analysing Service Orchestrations Fulltext Access 15 Pages 2010
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations Fulltext Access 15 Pages 2010
Modular Verification of Interactive Systems with an Application to Biology Fulltext Access 15 Pages 2010
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata Fulltext Access 15 Pages 2010
Light graphs in families of polyhedral graphs with prescribed minimum degree, face size, edge and dual edge weight Fulltext Access 15 Pages 2010
Degree-bounded factorizations of bipartite multigraphs and of pseudographs Fulltext Access 15 Pages 2010
The isomorphism problem for Cayley ternary relational structures for some abelian groups of order 8p8p Fulltext Access 15 Pages 2010
Blockers and transversals in some subclasses of bipartite graphs: When caterpillars are dancing on a grid Fulltext Access 15 Pages 2010
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach Fulltext Access 15 Pages 2010
Multidimensional generalized automatic sequences and shape-symmetric morphic words Fulltext Access 15 Pages 2010
Negative circuits and sustained oscillations in asynchronous automata networks Fulltext Access 15 Pages 2010
Cardinality constrained combinatorial optimization: Complexity and polyhedra Fulltext Access 15 Pages 2010
Largest bounding box, smallest diameter, and related problems on imprecise points Fulltext Access 15 Pages 2010
Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes Fulltext Access 15 Pages 2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Fulltext Access 16 Pages 2010
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation Fulltext Access 16 Pages 2010
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems Fulltext Access 16 Pages 2010
Semi-Automatic Specification of Behavioural Service Adaptation Contracts Fulltext Access 16 Pages 2010
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus Fulltext Access 16 Pages 2010
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting Fulltext Access 16 Pages 2010
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases Fulltext Access 16 Pages 2010
Feature Interaction Aware Test Case Generation for Embedded Control Systems Fulltext Access 16 Pages 2010
Lattices generated by orbits of subspaces under finite singular orthogonal groups I Fulltext Access 16 Pages 2010