An improved analysis of Goemans and Williamson's LP-relaxation for MAX SAT Fulltext Access 15 Pages 2006
Fast string matching by using probabilities: On an optimal mismatch variant of Horspool's algorithm Fulltext Access 15 Pages 2006
A computable version of the Daniell–Stone theorem on integration and linear functionals Fulltext Access 15 Pages 2006
The worst-case time complexity for generating all maximal cliques and computational experiments Fulltext Access 15 Pages 2006
On two DES implementations secure against differential power analysis in smart-cards Fulltext Access 15 Pages 2006
Combinatorial interpretations of the q-Faulhaber and q-Salié coefficients Fulltext Access 15 Pages 2006
A sufficient condition for a family of graphs being determined by their generalized spectra Fulltext Access 15 Pages 2006
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems Fulltext Access 15 Pages 2006
Mathematics based on incremental learning—Excluded middle and inductive inference Fulltext Access 15 Pages 2006
Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision Fulltext Access 15 Pages 2006
A Semantical Framework for the Orchestration and Choreography of Web Services Fulltext Access 16 Pages 2006
Wrapping of Web Sources with restricted Query Interfaces by Query Tunneling Fulltext Access 16 Pages 2006
A Model-based Integration and Testing Method to Reduce System Development Effort ⋆ Fulltext Access 16 Pages 2006
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms Fulltext Access 16 Pages 2006
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications Fulltext Access 16 Pages 2006
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata Fulltext Access 16 Pages 2006
Property-Transition-Net-Based Workflow Process Modeling and Verification 1 Fulltext Access 16 Pages 2006
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca Fulltext Access 16 Pages 2006
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic Fulltext Access 16 Pages 2006
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method ⋆ Fulltext Access 16 Pages 2006
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools Fulltext Access 16 Pages 2006
A Composite Web Service Supporting User Context to Provide an Adapted Remote Control of High Technology Instruments Fulltext Access 16 Pages 2006
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study Fulltext Access 16 Pages 2006
Termination Criteria for Bounded Model Checking: Extensions and Comparison 1 Fulltext Access 16 Pages 2006
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Fulltext Access 16 Pages 2006
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors Fulltext Access 16 Pages 2006