Towards a Megamodel to Model Software Evolution Through Transformations 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
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search Fulltext Access 16 Pages 2005
Parallel Multithreaded Satisfiability Solver: Design and Implementation Fulltext Access 16 Pages 2005
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware 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
Termination of High-Level Replacement Units with Application to Model Transformation Fulltext Access 16 Pages 2005
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses 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
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis Fulltext Access 16 Pages 2005
Optimal capacity allocation in multi-auction electricity markets under uncertainty Fulltext Access 17 Pages 2005
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Fulltext Access 17 Pages 2005
A new bound and an O(mn) algorithm for the undesirable 1-median problem (maxian) on networks Fulltext Access 17 Pages 2005
Sleep spindle detection using artificial neural networks trained with filtered time-domain EEG: A feasibility study Fulltext Access 17 Pages 2005
A computational study of the permutation flow shop problem based on a tight lower bound Fulltext Access 17 Pages 2005
Genetic programming for the prediction of insolvency in non-life insurance companies Fulltext Access 17 Pages 2005
The asymptotic self-similar behavior for the quasilinear heat equation with nonlinear boundary condition Fulltext Access 17 Pages 2005
A relaxation scheme forcontinuous sedimentation in ideal clarifier-thickener units Fulltext Access 17 Pages 2005
Automatic extraction of brain surface and mid-sagittal plane from PET images applying deformable models Fulltext Access 17 Pages 2005
PsN-Toolkit-A collection of computer intensive statistical methods for non-linear mixed effect modeling using NONMEM Fulltext Access 17 Pages 2005
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking Fulltext Access 17 Pages 2005
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse Fulltext Access 17 Pages 2005
Analysing Password Protocol Security Against Off-line Dictionary Attacks Fulltext Access 17 Pages 2005
A Coalgebraic Semantic Framework for Component-based Development in UML Fulltext Access 17 Pages 2005
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification Fulltext Access 17 Pages 2005
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems Fulltext Access 17 Pages 2005
The multi-item replenishment problem in a two-echelon supply chain: the effect of centralization versus decentralization Fulltext Access 17 Pages 2005
Formulating and solving splittable capacitated multiple allocation hub location problems Fulltext Access 17 Pages 2005
Solving two location models with few facilities by using a hybrid heuristic: a real health resources case Fulltext Access 17 Pages 2005
Determination of the parameters in the dynamic weighted Round-Robin method for network load balancing Fulltext Access 17 Pages 2005
A model for lumpy demand parts in a multi-location inventory system with transshipments Fulltext Access 17 Pages 2005
A portable and scalable algorithm for a class of constrained combinatorial optimization problems Fulltext Access 17 Pages 2005
A Program Result Checker for the Lexical Analysis of the GNU C Compiler Fulltext Access 17 Pages 2005
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification Fulltext Access 17 Pages 2005
An interactive method for inventory control with fuzzy lead-time and dynamic demand Fulltext Access 17 Pages 2005
Generating efficient schedules for identical parallel machines involving flow-time and tardy jobs Fulltext Access 17 Pages 2005
Singularity crossing phenomena in DAEs: A two-phase fluid flow application case study Fulltext Access 17 Pages 2005
Decision process for multiobjective, multi-item production-inventory system via interactive fuzzy satisficing technique Fulltext Access 17 Pages 2005
Nonlinear observer design for a general class of nonlinear systems with real parametric uncertainty Fulltext Access 17 Pages 2005
Periodic boundary value problem for the second-order impulsive functional differential equations Fulltext Access 17 Pages 2005