Relative difference sets fixed by inversion (ii)-character theoretical approach Fulltext Access 15 Pages 2005
Parallel Multithreaded Satisfiability Solver: Design and Implementation Fulltext Access 16 Pages 2005
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation Fulltext Access 16 Pages 2005
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic Fulltext Access 16 Pages 2005
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus Fulltext Access 16 Pages 2005
Improving the Security of Downloadable Java Applications With Static Analysis Fulltext Access 16 Pages 2005
A Formal Approach for Analysis and Testing of Reliable Embedded Systems Fulltext Access 16 Pages 2005
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search Fulltext Access 16 Pages 2005
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis Fulltext Access 16 Pages 2005
Towards a Megamodel to Model Software Evolution Through Transformations Fulltext Access 16 Pages 2005
Termination of High-Level Replacement Units with Application to Model Transformation Fulltext Access 16 Pages 2005
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD Fulltext Access 16 Pages 2005
Model Checking Functional and Performability Properties of Stochastic Fluid Models Fulltext Access 16 Pages 2005
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses Fulltext Access 16 Pages 2005
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware Fulltext Access 16 Pages 2005
Metric properties of the Tower of Hanoi graphs and Stern's diatomic sequence Fulltext Access 16 Pages 2005
Improvements of the theorem of Duchet and Meyniel on Hadwiger's conjecture Fulltext Access 16 Pages 2005
An algorithm to find the number of the digitizations of discs with a fixed radius Fulltext Access 16 Pages 2005
Rectangular Schur functions and the basic representation of affine Lie algebras Fulltext Access 16 Pages 2005
A conjectured combinatorial formula for the Hilbert series for diagonal harmonics Fulltext Access 16 Pages 2005
On the order of the recurrence produced by the method of creative telescoping Fulltext Access 16 Pages 2005
Compatibly ordered-OSTS of order n and compatibly ordered-OGDD of type hn for n=6k+1 Fulltext Access 16 Pages 2005
Abstract Conditions for the Confluence of Explicit Substitution Calculi Fulltext Access 16 Pages 2005