Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card Fulltext Access 15 Pages 2006
Coordination Models Based on a Formal Model of Distributed Object Reflection Fulltext Access 15 Pages 2006
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems 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
Mathematics based on incremental learning—Excluded middle and inductive inference Fulltext Access 15 Pages 2006
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver Fulltext Access 15 Pages 2006
Inner and outer rounding of Boolean operations on lattice polygonal regions Fulltext Access 15 Pages 2006
HAMS: Scalable peer-to-peer multimedia streaming model in heterogeneous networks Fulltext Access 15 Pages 2006
Posted price profit maximization for multicast by approximating fixed points Fulltext Access 15 Pages 2006
On two DES implementations secure against differential power analysis in smart-cards Fulltext Access 15 Pages 2006
The impact of data replication on job scheduling performance in the Data Grid Fulltext Access 15 Pages 2006
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
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Fulltext Access 15 Pages 2006
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans 1 Fulltext Access 15 Pages 2006
On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems Fulltext Access 15 Pages 2006
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic 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 Semantical Framework for the Orchestration and Choreography of Web Services 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
Termination Criteria for Bounded Model Checking: Extensions and Comparison 1 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
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