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
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs Fulltext Access 15 Pages 2006
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals Fulltext Access 15 Pages 2006
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus Fulltext Access 15 Pages 2006
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems Fulltext Access 15 Pages 2006
A sufficient condition for a family of graphs being determined by their generalized spectra Fulltext Access 15 Pages 2006
Combinatorial interpretations of the q-Faulhaber and q-Salié coefficients Fulltext Access 15 Pages 2006
Inner and outer rounding of Boolean operations on lattice polygonal regions Fulltext Access 15 Pages 2006
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems Fulltext Access 15 Pages 2006
Horse paths, restricted 132-avoiding permutations, continued fractions, and Chebyshev polynomials Fulltext Access 15 Pages 2006
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Fulltext Access 15 Pages 2006
On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems Fulltext Access 15 Pages 2006
An O(nlog2n) algorithm for the optimal sink location problem in dynamic tree networks Fulltext Access 15 Pages 2006
An approximation algorithm for the pickup and delivery vehicle routing problem on trees Fulltext Access 15 Pages 2006
An analysis of the redundancy of graph invariants used in chemoinformatics Fulltext Access 15 Pages 2006
Using Lagrangian dual information to generate degree constrained spanning trees Fulltext Access 15 Pages 2006
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans 1 Fulltext Access 15 Pages 2006
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study 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
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
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca Fulltext Access 16 Pages 2006
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors Fulltext Access 16 Pages 2006
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation 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
Termination Criteria for Bounded Model Checking: Extensions and Comparison 1 Fulltext Access 16 Pages 2006
Property-Transition-Net-Based Workflow Process Modeling and Verification 1 Fulltext Access 16 Pages 2006
A Semantical Framework for the Orchestration and Choreography of Web Services Fulltext Access 16 Pages 2006
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms Fulltext Access 16 Pages 2006