Applications of Hierarchical Reasoning in the Verification of Complex Systems 3 Fulltext Access 16 Pages 2007
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Fulltext Access 16 Pages 2007
Semi-Automated Component-Based Development of Formally Verified Software Fulltext Access 16 Pages 2007
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode Fulltext Access 16 Pages 2007
Parallel strategies for the local biological sequence alignment in a cluster of workstations Fulltext Access 16 Pages 2007
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models Fulltext Access 16 Pages 2007
Modelling and model checking suspendible business processes via statechart diagrams and CSP Fulltext Access 16 Pages 2007
Using FDAF to bridge the gap between enterprise and software architectures for security Fulltext Access 16 Pages 2007
Designing and managing evolving systems using a MAS product line approach Fulltext Access 16 Pages 2007
An architecture for access control management in collaborative enterprise systems based on organization models Fulltext Access 16 Pages 2007
Detecting loop-carried dependences in programs with dynamic data structures Fulltext Access 16 Pages 2007
Strategies to create platforms for differentiated services from dedicated and opportunistic resources Fulltext Access 16 Pages 2007
A tuple channel-based coordination model for parallel and distributed programming Fulltext Access 16 Pages 2007
Dynamically mapping tasks with priorities and multiple deadlines in a heterogeneous environment Fulltext Access 16 Pages 2007
Efficient task replication and management for adaptive fault tolerance in Mobile Grid environments Fulltext Access 16 Pages 2007
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine Fulltext Access 16 Pages 2007
Constrained sequence alignment: A general model and the hardness results Fulltext Access 16 Pages 2007
The source location problem with local 3-vertex-connectivity requirements Fulltext Access 16 Pages 2007
Coinductive Verification of Program Optimizations Using Similarity Relations Fulltext Access 17 Pages 2007
A Preliminary Comparative Study on the Expressive Power of Reo and Linda Fulltext Access 17 Pages 2007
Computation of estimates in segmented regression and a liquidity effect model Fulltext Access 17 Pages 2007
3D space-varying coefficient models with application to diffusion tensor imaging Fulltext Access 17 Pages 2007
Influence diagnostics for random effect survival models: Application to a recurrent infection study for kidney patients on portable dialysis Fulltext Access 17 Pages 2007
Nonparametric confidence intervals for population variance of one sample and the difference of variances of two samples Fulltext Access 17 Pages 2007
A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 1 Fulltext Access 17 Pages 2007
Component Substitutability via Equivalencies of Component-Interaction Automata Fulltext Access 17 Pages 2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming Fulltext Access 17 Pages 2007
A Structural Approach for Modelling Performance of Systems Using Skeletons Fulltext Access 17 Pages 2007
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation Fulltext Access 17 Pages 2007
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface Fulltext Access 17 Pages 2007