An introduction to periodical discrete sets from a tomographical perspective Fulltext Access 23 Pages 2005
Metareasoning about Security Protocols using Distributed Temporal Logic Fulltext Access 23 Pages 2005
Fuzzy context-free languages-Part 2: Recognition and parsing algorithms Fulltext Access 23 Pages 2005
A sufficient condition for non-uniqueness in binary tomography with absorption Fulltext Access 23 Pages 2005
Weak bisimilarity and regularity of context-free processes is EXPTIME-hard Fulltext Access 23 Pages 2005
On reasoning about structural equality in XML: a description logic approach Fulltext Access 23 Pages 2005
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language Fulltext Access 23 Pages 2005
Algorithms for pattern matching and discovery in RNA secondary structure Fulltext Access 23 Pages 2005
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs Fulltext Access 24 Pages 2005
New operations and regular expressions for two-dimensional languages over one-letter alphabet Fulltext Access 24 Pages 2005
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects Fulltext Access 24 Pages 2005
Name-passing style GUI programming in the Ï-calculus-based language Nepi Fulltext Access 24 Pages 2005
Tagged Systems: A Framework for the Specification of History-dependent Properties Fulltext Access 24 Pages 2005
1-homogeneous, pseudo-1-homogeneous, and 1-thin distance-regular graphs Fulltext Access 24 Pages 2005
Fuzzy context-free languages-Part 1: Generalized fuzzy context-free grammars Fulltext Access 24 Pages 2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes Fulltext Access 25 Pages 2005
Bruhat order on classical Weyl groups: minimal chains and covering relation Fulltext Access 25 Pages 2005
Property-preserving subnet reductions for designing manufacturing systems with shared resources Fulltext Access 25 Pages 2005
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation Fulltext Access 25 Pages 2005
Formal description and analysis of a distributed location service for mobile ad hoc networks 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
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols Fulltext Access 25 Pages 2005
Efficient instance retrieval with standard and relational path indexing Fulltext Access 25 Pages 2005