New facets of the STS polytope generated from known facets of the ATS polytope Fulltext Access 17 Pages 2006
An almost complete description of perfect codes in direct products of cycles Fulltext Access 17 Pages 2006
Facets of the polytope of the asymmetric travelling salesman problem with replenishment arcs Fulltext Access 17 Pages 2006
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks Fulltext Access 17 Pages 2006
Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC Fulltext Access 17 Pages 2006
Verification of AMBA Using a Combination of Model Checking and Theorem Proving Fulltext Access 17 Pages 2006
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata Fulltext Access 17 Pages 2006
Trust Evolution Policies for Security in Collaborative Ad Hoc Applications Fulltext Access 17 Pages 2006
A classification result on weighted {δvμ+1,δvμ;N,p3}{δvμ+1,δvμ;N,p3}-minihypers Fulltext Access 17 Pages 2006
Analysis of a time-dependent scheduling problem by signatures of deterioration rate sequences Fulltext Access 17 Pages 2006
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System Fulltext Access 17 Pages 2006
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs Fulltext Access 17 Pages 2006
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving Fulltext Access 18 Pages 2006
Flock generalized quadrangles and tetradic sets of elliptic quadrics of PG(3,q) Fulltext Access 18 Pages 2006
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures Fulltext Access 18 Pages 2006
On the structure of uniform one-factorizations from starters in finite fields Fulltext Access 18 Pages 2006
Coordination and Organization: Definitions, Examples and Future Research Directions Fulltext Access 18 Pages 2006
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Fulltext Access 18 Pages 2006
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars Fulltext Access 18 Pages 2006
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility ⋆ Fulltext Access 18 Pages 2006
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP 1 Fulltext Access 18 Pages 2006
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs Fulltext Access 18 Pages 2006
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets Fulltext Access 18 Pages 2006
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service Fulltext Access 18 Pages 2006