A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems Fulltext Access 13 Pages 2005
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory Fulltext Access 13 Pages 2005
Sequential Computability of a Function: Diagonal Space and Limiting Recursion Fulltext Access 13 Pages 2005
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models Fulltext Access 13 Pages 2005
Introducing Test Automation and Test-Driven Development: An Experience Report Fulltext Access 13 Pages 2005
The Side Transformation Pattern: Making Transforms Modular and Re-usable Fulltext Access 13 Pages 2005
A New Version of GTXL : An Exchange Format for Graph Transformation Systems Fulltext Access 13 Pages 2005
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing Fulltext Access 13 Pages 2005
Validation Coverage for a Component-based SDL model of a Railway Signaling System Fulltext Access 13 Pages 2005
On the Role of Metadata in Visual Language Reuse and Reverse Engineering - An Industrial Case Fulltext Access 13 Pages 2005
The Implication Problem of Functional Dependencies in Complex-value Databases Fulltext Access 13 Pages 2005
The limit of a Stanley-Wilf sequence is not always rational, and layered patterns beat monotone patterns Fulltext Access 13 Pages 2005
On the Complexity of Finding Paths in a Two-Dimensional Domain II: Piecewise Straight-Line Paths Fulltext Access 13 Pages 2005
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures Fulltext Access 13 Pages 2005
Model-checking the Preservation of Temporal Properties upon Feature Integration Fulltext Access 14 Pages 2005
Characteristic μ-Calculus Formulas for Underspecified Transition Systems Fulltext Access 14 Pages 2005
Combinatorics and algorithms for low-discrepancy roundings of a real sequence Fulltext Access 14 Pages 2005
Combinatorial structure and randomized subexponential algorithms for infinite games Fulltext Access 14 Pages 2005
The expected uncertainty of range-free localization protocols in sensor networks Fulltext Access 14 Pages 2005
On two-way communication in cellular automata with a fixed number of cells Fulltext Access 14 Pages 2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures Fulltext Access 14 Pages 2005
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking Fulltext Access 14 Pages 2005
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals Fulltext Access 14 Pages 2005
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation Fulltext Access 14 Pages 2005
Probabilistic Approach to the Lambda Definability for Fourth Order Types Fulltext Access 14 Pages 2005
On the complexity of decidable cases of the commutation problem of languages Fulltext Access 14 Pages 2005