A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine Fulltext Access 18 Pages 2005
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling Fulltext Access 18 Pages 2005
Towards Composition Management for Component-based Peer-to-Peer Architectures Fulltext Access 18 Pages 2005
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls Fulltext Access 18 Pages 2005
A Denotational Approach to the Static Analysis of Cryptographic Processes Fulltext Access 18 Pages 2005
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique Fulltext Access 18 Pages 2005
Computational complexity of some scheduling problems with multiprocessor tasks Fulltext Access 18 Pages 2005
On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions Fulltext Access 18 Pages 2005
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols Fulltext Access 18 Pages 2005
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation Fulltext Access 18 Pages 2005
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks Fulltext Access 18 Pages 2005
Combining the Box Structure Development Method and CSP for Software Development Fulltext Access 18 Pages 2005
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine Fulltext Access 18 Pages 2005
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes Fulltext Access 18 Pages 2005
Some equitably 3-colourable cycle decompositions of complete equipartite graphs Fulltext Access 18 Pages 2005
Parallel Block-Iterative Reconstruction Algorithms for Binary Tomography Fulltext Access 18 Pages 2005
On the existence of a convex point subset containing one triangle in the plane Fulltext Access 18 Pages 2005
Resolvable optimal strong partially balanced designs with block size four Fulltext Access 18 Pages 2005
Linear extensions of ranked posets, enumerated by descents. A problem of Stanley from the 1981 Banff Conference on Ordered Sets Fulltext Access 18 Pages 2005
A generalized model of mutation-selection balance with applications to aging Fulltext Access 18 Pages 2005
Aztec diamonds and digraphs, and Hankel determinants of Schröder numbers Fulltext Access 18 Pages 2005
Detection of Subsurface Bubbles with Discrete Electromagnetic Geotomography Fulltext Access 19 Pages 2005
Configurations induced by discrete rotations: periodicity and quasi-periodicity properties Fulltext Access 19 Pages 2005
Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes Fulltext Access 19 Pages 2005
Resolving Ambiguities in Reconstructed Grain Maps using Discrete Tomography Fulltext Access 19 Pages 2005
Performance evaluation of demodulation with diversity-a combinatorial approach II: bijective methods Fulltext Access 19 Pages 2005
Conversion of coloring algorithms into maximum weight independent set algorithms Fulltext Access 19 Pages 2005