Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks Fulltext Access 15 Pages 2008
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis Fulltext Access 15 Pages 2008
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic Fulltext Access 15 Pages 2008
Building Certified Static Analysers by Modular Construction of Well-founded Lattices Fulltext Access 15 Pages 2008
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) Fulltext Access 15 Pages 2008
An enumeration scheme to generate constrained exact checkerboard patterns Fulltext Access 15 Pages 2008
Heuristic and exact algorithms for the max–min optimization of the multi-scenario knapsack problem Fulltext Access 15 Pages 2008
Scheduling United States Coast Guard helicopter deployment and maintenance at Clearwater Air Station, Florida Fulltext Access 15 Pages 2008
A comprehensive and robust procedure for obtaining the nofit polygon using Minkowski sums Fulltext Access 15 Pages 2008
Solving dynamic stochastic economic models by mathematical programming decomposition methods Fulltext Access 15 Pages 2008
Reasoning about B+ Trees with Operational Semantics and Separation Logic Fulltext Access 15 Pages 2008
Robust multiperiod portfolio management in the presence of transaction costs Fulltext Access 15 Pages 2008
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper Fulltext Access 15 Pages 2008
A unified model for Weber problems with continuous and network distances Fulltext Access 15 Pages 2008
On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane Fulltext Access 15 Pages 2008
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models Fulltext Access 16 Pages 2008
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration 1 Fulltext Access 16 Pages 2008
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS 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
Falsifying Safety Properties Through Games on Over-approximating Models Fulltext Access 16 Pages 2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects 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