From UML models to automatic generated tests for the dotLRN e-learning platform Fulltext Access 12 Pages 2005
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time Fulltext Access 12 Pages 2005
Deciding the Security of Protocols with Commuting Public Key Encryption Fulltext Access 12 Pages 2005
On the Relative Soundness of the Free Algebra Model for Public Key Encryption Fulltext Access 12 Pages 2005
Modeling Software Evolution by Treating History as a First Class Entity Fulltext Access 12 Pages 2005
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations Fulltext Access 12 Pages 2005
The effect of machine availability on the worst-case performance of LPT Fulltext Access 13 Pages 2005
Experimental evaluation of a tree decomposition-based algorithm for vertex cover on planar graphs Fulltext Access 13 Pages 2005
A New Version of GTXL : An Exchange Format for Graph Transformation Systems 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 Side Transformation Pattern: Making Transforms Modular and Re-usable Fulltext Access 13 Pages 2005
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models Fulltext Access 13 Pages 2005
Substitutes and complements in network flows viewed as discrete convexity 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
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 maximal arcs in projective Hjelmslev planes over chain rings of even characteristic Fulltext Access 13 Pages 2005
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing Fulltext Access 13 Pages 2005
Counterexamples to the nonorientable genus conjecture for complete tripartite graphs Fulltext Access 13 Pages 2005
An exact and polynomial distance-based algorithm to reconstruct single copy tandem duplication trees Fulltext Access 13 Pages 2005
Validation Coverage for a Component-based SDL model of a Railway Signaling System Fulltext Access 13 Pages 2005
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems Fulltext Access 13 Pages 2005
Introducing Test Automation and Test-Driven Development: An Experience Report Fulltext Access 13 Pages 2005
Sequential Computability of a Function: Diagonal Space and Limiting Recursion Fulltext Access 13 Pages 2005
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory 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