An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems Fulltext Access 15 Pages 2006
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus Fulltext Access 15 Pages 2006
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems Fulltext Access 15 Pages 2006
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals Fulltext Access 15 Pages 2006
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs Fulltext Access 15 Pages 2006
Coordination Models Based on a Formal Model of Distributed Object Reflection Fulltext Access 15 Pages 2006
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card Fulltext Access 15 Pages 2006
An endosymbiotic evolutionary algorithm for the integration of balancing and sequencing in mixed-model U-lines Fulltext Access 15 Pages 2006
On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems Fulltext Access 15 Pages 2006
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Fulltext Access 15 Pages 2006
Stability analysis of an optimal balance for an assembly line with fixed cycle time Fulltext Access 15 Pages 2006
A stochastic production frontier model with group-specific temporal variation in technical efficiency Fulltext Access 15 Pages 2006
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans 1 Fulltext Access 15 Pages 2006
GPU-accelerated DXT and JPEG compression schemes for low-latency network transmissions of HD, 2K, and 4K video Fulltext Access 16 Pages 2006
Probability distributions conditioned by the available information: Gamma distribution and moments * Fulltext Access 16 Pages 2006
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools Fulltext Access 16 Pages 2006
Limit-point and limit-circle criteria for singular second-order linear difference equations with complex coefficients † Fulltext Access 16 Pages 2006
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study Fulltext Access 16 Pages 2006
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method ⋆ 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
Mean behaviour of multiplicative functions on additive arithmetical semigroups Fulltext Access 16 Pages 2006
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic 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
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Fulltext Access 16 Pages 2006
Termination Criteria for Bounded Model Checking: Extensions and Comparison 1 Fulltext Access 16 Pages 2006
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors Fulltext Access 16 Pages 2006
A Semantical Framework for the Orchestration and Choreography of Web Services Fulltext Access 16 Pages 2006