Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking Fulltext Access 16 Pages 2008
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records Fulltext Access 16 Pages 2008
Checking Emptiness of Non-Deterministic Regular Types with Set Operators Fulltext Access 16 Pages 2008
Locality of Corner Transformation for Multidimensional Spatial Access Methods Fulltext Access 16 Pages 2008
Modeling and Verifying Time Sensitive Security Protocols with Constraints Fulltext Access 16 Pages 2008
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration 1 Fulltext Access 16 Pages 2008
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models Fulltext Access 16 Pages 2008
A case for cooperative and incentive-based federation of distributed clusters Fulltext Access 16 Pages 2008
Dynamic analysis of Java program concepts for visualization and profiling Fulltext Access 16 Pages 2008
Characterizing navigation maps for web applications with the NMM approach Fulltext Access 16 Pages 2008
Detection workload in a dynamic grid-based intrusion detection environment Fulltext Access 16 Pages 2008
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers Fulltext Access 16 Pages 2008
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular Fulltext Access 16 Pages 2008
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes Fulltext Access 16 Pages 2008
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine Fulltext Access 16 Pages 2008
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis Fulltext Access 16 Pages 2008
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE Fulltext Access 16 Pages 2008
Falsifying Safety Properties Through Games on Over-approximating Models Fulltext Access 16 Pages 2008
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking Fulltext Access 16 Pages 2008
Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces Fulltext Access 16 Pages 2008
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems Fulltext Access 16 Pages 2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects Fulltext Access 16 Pages 2008
Branch and bound procedures for solving the Assembly Line Worker Assignment and Balancing Problem: Application to Sheltered Work centres for Disabled Fulltext Access 16 Pages 2008
Expected number of breakpoints after tt random reversals in genomes with duplicate genes Fulltext Access 16 Pages 2008
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks Fulltext Access 16 Pages 2008
Towards a Systematic Method for Proving Termination of Graph Transformation Systems Fulltext Access 16 Pages 2008
Maude as a Platform for Designing and Implementing Deep Inference Systems Fulltext Access 16 Pages 2008
Nonstochastic bandits: Countable decision set, unbounded costs and reactive environments Fulltext Access 17 Pages 2008
Mixed Nash equilibria in selfish routing problems with dynamic constraints Fulltext Access 17 Pages 2008
An SCP-based heuristic approach for scheduling distributed data-intensive applications on global grids Fulltext Access 17 Pages 2008
A hybrid Branch-and-Bound and evolutionary approach for allocating strings of applications to heterogeneous distributed computing systems Fulltext Access 17 Pages 2008
Hash-based proximity clustering for efficient load balancing in heterogeneous DHT networks Fulltext Access 17 Pages 2008
Multi-level direct K-way hypergraph partitioning with multiple constraints and fixed vertices Fulltext Access 17 Pages 2008
Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks Fulltext Access 17 Pages 2008
Fast deterministic broadcast and gossiping algorithms for mobile ad hoc networks Fulltext Access 17 Pages 2008
Stochastic robustness metric and its use for static resource allocations Fulltext Access 17 Pages 2008
Synchronization coherence: A transparent hardware mechanism for cache coherence and fine-grained synchronization Fulltext Access 17 Pages 2008
A decoupled federate architecture for high level architecture-based distributed simulation Fulltext Access 17 Pages 2008