A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics Fulltext Access 21 Pages 2005
Estimating Non-functional Properties of Component-based Software Based on Resource Consumption Fulltext Access 21 Pages 2005
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware Fulltext Access 21 Pages 2005
Testing Conformance of Real-Time Applications by Automatic Generation of Observers Fulltext Access 21 Pages 2005
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification Fulltext Access 21 Pages 2005
Superposition with equivalence reasoning and delayed clause normal form transformation Fulltext Access 21 Pages 2005
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages Fulltext Access 21 Pages 2005
Completeness in standard and differential approximation classes: Poly-(D)APX- and (D)PTAS-completeness Fulltext Access 21 Pages 2005
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus Fulltext Access 21 Pages 2005
Regular maps whose groups do not act faithfully on vertices, edges, or faces Fulltext Access 21 Pages 2005
Explicit test sets for iterated morphisms in free monoids and metabelian groups Fulltext Access 21 Pages 2005
On two-way nondeterministic finite automata with one reversal-bounded counter Fulltext Access 21 Pages 2005
An efficient query learning algorithm for ordered binary decision diagrams Fulltext Access 21 Pages 2005
RBAC for Organisation and Security in an Agent Coordination Infrastructure Fulltext Access 21 Pages 2005
Two local and one global properties of 3-connected graphs on compact 2-dimensional manifolds Fulltext Access 21 Pages 2005
2-Arc-transitive regular covers of complete graphs having the covering transformation group Zp3 Fulltext Access 21 Pages 2005
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications Fulltext Access 21 Pages 2005
Securing Statically-verified Communications Protocols Against Timing Attacks Fulltext Access 21 Pages 2005
Expanding selfsimilar solutions of a crystalline flow with applications to contour figure analysis Fulltext Access 21 Pages 2005
Separable equilibrium state probabilities via time reversal in Markovian process algebra Fulltext Access 22 Pages 2005
An Input/Output Semantics for Distributed Program Equivalence Reasoning Fulltext Access 22 Pages 2005
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
Optimal semi-online preemptive algorithms for machine covering on two uniform machines Fulltext Access 22 Pages 2005
Additive sparse spanners for graphs with bounded length of largest induced cycle Fulltext Access 22 Pages 2005
Î additive and Î ultra-additive maps, Gromov's trees, and the Farris transform Fulltext Access 23 Pages 2005