Efficient algorithms for generalized Stable Marriage and Roommates problems Fulltext Access 15 Pages 2007
On the hardness of minimizing space for all-shortest-path interval routing schemes Fulltext Access 15 Pages 2007
Complexity and approximation of the minimum recombinant haplotype configuration problem Fulltext Access 15 Pages 2007
Paths and cycles containing given arcs, in close to regular multipartite tournaments Fulltext Access 15 Pages 2007
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types Fulltext Access 15 Pages 2007
Regular embeddings of Kn,nKn,n where nn is a power of 2. I: Metacyclic case Fulltext Access 15 Pages 2007
Value and position of large weak left-to-right maxima for samples of geometrically distributed variables Fulltext Access 15 Pages 2007
An Approach for the Specification, Verification and Synthesis of Secure Systems Fulltext Access 15 Pages 2007
Concern-Specific Languages in a Visual Web Service Creation Environment Fulltext Access 15 Pages 2007
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming Fulltext Access 15 Pages 2007
Using Microcomponents and Design Patterns to Build Evolutionary Transaction Services Fulltext Access 15 Pages 2007
A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS Fulltext Access 15 Pages 2007
Implementing Relational Specifications in a Constraint Functional Logic Language Fulltext Access 15 Pages 2007
Visual Specification of Systems with Heterogeneous Coordination Models 1 Fulltext Access 15 Pages 2007
An approximation algorithm for dissecting a rectangle into rectangles with specified areas Fulltext Access 15 Pages 2007
A Contract-based Approach to Specifying and Verifying Safety Critical Systems Fulltext Access 15 Pages 2007
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS 1 Fulltext Access 15 Pages 2007
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks 1 Fulltext Access 15 Pages 2007
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities Fulltext Access 15 Pages 2007
Recognizing and representing proper interval graphs in parallel using merging and sorting Fulltext Access 15 Pages 2007
Object-Oriented Structure Refinement – A Graph Transformational Approach Fulltext Access 15 Pages 2007
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers Fulltext Access 15 Pages 2007
Modeling Environment for Component Model Checking from Hierarchical Architecture Fulltext Access 15 Pages 2007
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle Fulltext Access 15 Pages 2007
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ Fulltext Access 15 Pages 2007