Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks Fulltext Access 17 Pages 2006
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs Fulltext Access 17 Pages 2006
Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC Fulltext Access 17 Pages 2006
A Classification of Time and/or Probability Dependent Security Properties Fulltext Access 17 Pages 2006
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields Fulltext Access 17 Pages 2006
Analysis of a Multiobjective Evolutionary Algorithm on the 0–1 knapsack problem Fulltext Access 17 Pages 2006
Formal design and verification of operational transformation algorithms for copies convergence Fulltext Access 17 Pages 2006
Computing phylogenetic roots with bounded degrees and errors is NP-complete Fulltext Access 17 Pages 2006
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata Fulltext Access 17 Pages 2006
Verification of AMBA Using a Combination of Model Checking and Theorem Proving 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
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
Approximation schemes for scheduling and covering on unrelated machines Fulltext Access 18 Pages 2006
Flock generalized quadrangles and tetradic sets of elliptic quadrics of PG(3,q) Fulltext Access 18 Pages 2006
A CPS encoding of name-passing in Higher-order mobile embedded resources Fulltext Access 18 Pages 2006
Compatible topologies on graphs: An application to graph isomorphism problem complexity Fulltext Access 18 Pages 2006
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars Fulltext Access 18 Pages 2006
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Fulltext Access 18 Pages 2006
Coordination and Organization: Definitions, Examples and Future Research Directions Fulltext Access 18 Pages 2006
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service Fulltext Access 18 Pages 2006
Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies Fulltext Access 18 Pages 2006