A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems Fulltext Access 15 Pages 2007
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types Fulltext Access 15 Pages 2007
A Contract-based Approach to Specifying and Verifying Safety Critical Systems Fulltext Access 15 Pages 2007
Linearisation of multi-machine power system: Modeling and control – A survey Fulltext Access 15 Pages 2007
Computational complexity of counting problems on 3-regular planar graphs Fulltext Access 15 Pages 2007
Arithmetic computation in the tile assembly model: Addition and multiplication Fulltext Access 15 Pages 2007
Cramer–Damgård signatures revisited: Efficient flat-tree signatures based on factoring Fulltext Access 15 Pages 2007
Efficient algorithms for generalized Stable Marriage and Roommates problems Fulltext Access 15 Pages 2007
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS 1 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
Finding a minimum path cover of a distance-hereditary graph in polynomial time Fulltext Access 15 Pages 2007
A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS Fulltext Access 15 Pages 2007
An Approach for the Specification, Verification and Synthesis of Secure Systems 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
Using Microcomponents and Design Patterns to Build Evolutionary Transaction Services Fulltext Access 15 Pages 2007
The use of cumulative sums for detection of changepoints in the rate parameter of a Poisson Process Fulltext Access 15 Pages 2007
Likelihood and pseudo-likelihood methods for semiparametric joint models for a primary endpoint and longitudinal data Fulltext Access 15 Pages 2007
Construction of marginally and conditionally restricted designs using multiplicative algorithms Fulltext Access 15 Pages 2007
Kinetic and dynamic data structures for convex hulls and upper envelopes Fulltext Access 15 Pages 2007
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities 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
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks 1 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