Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking Fulltext Access 22 Pages 2005
What's the Name of the Game? Formal Specification of Artificial Intelligence Games Fulltext Access 22 Pages 2005
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe Fulltext Access 22 Pages 2005
An Input/Output Semantics for Distributed Program Equivalence Reasoning Fulltext Access 22 Pages 2005
Metareasoning about Security Protocols using Distributed Temporal Logic Fulltext Access 23 Pages 2005
Î additive and Î ultra-additive maps, Gromov's trees, and the Farris transform Fulltext Access 23 Pages 2005
Racah coefficients, subrepresentation semirings, and composite materials Fulltext Access 23 Pages 2005
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language Fulltext Access 23 Pages 2005
Name-passing style GUI programming in the Ï-calculus-based language Nepi Fulltext Access 24 Pages 2005
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs Fulltext Access 24 Pages 2005
Tagged Systems: A Framework for the Specification of History-dependent Properties Fulltext Access 24 Pages 2005
Boundary voltage perturbations caused by small conductivity inhomogeneities nearly touching the boundary Fulltext Access 24 Pages 2005
The singular limit of a bilateral obstacle problem for a class of degenerate parabolic-hyperbolic operators Fulltext Access 24 Pages 2005
1-homogeneous, pseudo-1-homogeneous, and 1-thin distance-regular graphs Fulltext Access 24 Pages 2005
One-dimensional layout optimization, with applications to graph drawing by axis separation Fulltext Access 24 Pages 2005
Bruhat order on classical Weyl groups: minimal chains and covering relation Fulltext Access 25 Pages 2005
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types Fulltext Access 25 Pages 2005