An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols Fulltext Access 18 Pages 2005
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine Fulltext Access 18 Pages 2005
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation Fulltext Access 18 Pages 2005
An algorithm for computing exact least-trimmed squares estimate of simple linear regression with constraints Fulltext Access 18 Pages 2005
An improved data stream summary: the count-min sketch and its applications Fulltext Access 18 Pages 2005
Optimal, efficient reconstruction of root-unknown phylogenetic networks with constrained and structured recombination Fulltext Access 18 Pages 2005
On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions Fulltext Access 18 Pages 2005
Penalized spline smoothing in multivariable survival models with varying coefficients 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
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique 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
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
Subtractive reductions and complete problems for counting complexity classes Fulltext Access 18 Pages 2005
The many benefits of putting stack filters into disjunctive or conjunctive normal form Fulltext Access 18 Pages 2005
The alternating greedy expansion and applications to computing digit expansions from left-to-right in cryptography Fulltext Access 18 Pages 2005
Static analysis based on formal models and incremental computation in Go programming Fulltext Access 18 Pages 2005
Reconciling a gene tree to a species tree under the duplication cost model Fulltext Access 18 Pages 2005
Elementarily computable functions over the real numbers and R-sub-recursive functions Fulltext Access 18 Pages 2005
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving Fulltext Access 19 Pages 2005
On the descriptional complexity of finite automata with modified acceptance conditions Fulltext Access 19 Pages 2005
Improving whole-program locality using intra-procedural and inter-procedural transformations Fulltext Access 19 Pages 2005
Toward an analytical solution to task allocation, processor assignment, and performance evaluation of network processors Fulltext Access 19 Pages 2005
Resource control for large-scale distributed simulation system over loosely coupled domains Fulltext Access 19 Pages 2005
The first order definability of graphs with separators via the Ehrenfeucht game Fulltext Access 19 Pages 2005
The complexity of equivalence and isomorphism of systems of equations over finite groups Fulltext Access 19 Pages 2005
The wild bootstrap and heteroskedasticity-robust tests for serial correlation in dynamic regression models Fulltext Access 19 Pages 2005
A comparison of semiparametric estimators for the ordered response model Fulltext Access 19 Pages 2005
An adaptive algorithm for least squares piecewise monotonic data fitting Fulltext Access 19 Pages 2005
Shrinkage estimation for the difference between exponential guarantee time parameters Fulltext Access 19 Pages 2005
Pairwise likelihood inference in spatial generalized linear mixed models Fulltext Access 19 Pages 2005