Pareto optima for total weighted completion time and maximum lateness on a single machine Fulltext Access 14 Pages 2007
Algorithmic and explicit determination of the Lovász number for certain circulant graphs Fulltext Access 14 Pages 2007
On Khachiyan's algorithm for the computation of minimum-volume enclosing ellipsoids Fulltext Access 14 Pages 2007
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types Fulltext Access 15 Pages 2007
Finding well-balanced pairs of edge-disjoint trees in edge-weighted graphs 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
Paths and cycles containing given arcs, in close to regular multipartite tournaments Fulltext Access 15 Pages 2007
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers 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
An Approach for the Specification, Verification and Synthesis of Secure Systems 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
A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS Fulltext Access 15 Pages 2007
An approximation algorithm for dissecting a rectangle into rectangles with specified areas Fulltext Access 15 Pages 2007
Recognizing and representing proper interval graphs in parallel using merging and sorting Fulltext Access 15 Pages 2007
Computing the minimum number of hybridization events for a consistent evolutionary history Fulltext Access 15 Pages 2007
Finding a minimum path cover of a distance-hereditary graph in polynomial time Fulltext Access 15 Pages 2007
Object-Oriented Structure Refinement – A Graph Transformational Approach Fulltext Access 15 Pages 2007
Kinetic and dynamic data structures for convex hulls and upper envelopes 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
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