A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies Fulltext Access 26 Pages 2005
Recognition and computation of minimal triangulations for AT-free claw-free and co-comparability graphs Fulltext Access 26 Pages 2005
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting Fulltext Access 26 Pages 2005
View Transformation in Visual Environments applied to Algebraic High-Level Nets Fulltext Access 26 Pages 2005
Unresolved systems of language equations: Expressive power and decision problems Fulltext Access 26 Pages 2005
Generalized triangulations and diagonal-free subsets of stack polyominoes Fulltext Access 26 Pages 2005
On the completeness and decidability of duration calculus with iteration Fulltext Access 27 Pages 2005
Verification and refinement with fine-grained action-based concurrent objects Fulltext Access 27 Pages 2005
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation Fulltext Access 27 Pages 2005
Testing from Structured Algebraic Specifications: The Veritas Case Study Fulltext Access 27 Pages 2005
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases Fulltext Access 27 Pages 2005
Enumeration of solid 2-trees according to edge number and edge degree distribution Fulltext Access 27 Pages 2005
The Terwilliger algebra of an almost-bipartite P- and Q-polynomial association scheme Fulltext Access 28 Pages 2005
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? Fulltext Access 28 Pages 2005
Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice Fulltext Access 28 Pages 2005
A context-free and a 1-counter geodesic language for a Baumslag-Solitar group Fulltext Access 28 Pages 2005
The structure of reflexive regular splicing languages via Schützenberger constants Fulltext Access 28 Pages 2005
A novel giant-subgraph phase-transition in sparse random k-partite graphs Fulltext Access 29 Pages 2005
A common algebraic description for probabilistic and quantum computations Fulltext Access 29 Pages 2005
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation Fulltext Access 30 Pages 2005
Linear-time algorithms for the Hamiltonian problems on distance-hereditary graphs Fulltext Access 30 Pages 2005
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols Fulltext Access 30 Pages 2005
Monotone runs of uniformly distributed integer random variables: A probabilistic analysis Fulltext Access 30 Pages 2005