Scheduling optimization in coupling independent services as a Grid transaction Fulltext Access 15 Pages 2008
GemCell: A generic platform for modeling multi-cellular biological systems Fulltext Access 15 Pages 2008
An interference-aware fair scheduling for multicast in wireless mesh networks Fulltext Access 15 Pages 2008
A distributed fault identification protocol for wireless and mobile ad hoc networks Fulltext Access 15 Pages 2008
Performance model for IEEE 802.11s wireless mesh network deployment design Fulltext Access 15 Pages 2008
Efficient parallel implementation of iterative reconstruction algorithms for electron tomography Fulltext Access 15 Pages 2008
An optimistic checkpointing and message logging approach for consistent global checkpoint collection in distributed systems Fulltext Access 15 Pages 2008
Distributed probabilistic inferencing in sensor networks using variational approximation Fulltext Access 15 Pages 2008
Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids Fulltext Access 15 Pages 2008
Computing similarity of run-length encoded strings with affine gap penalty Fulltext Access 15 Pages 2008
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking Fulltext Access 15 Pages 2008
A randomized algorithm for the joining protocol in dynamic distributed networks Fulltext Access 15 Pages 2008
Time separations of cyclic event rule systems with min–max timing constraints Fulltext Access 15 Pages 2008
Constructibility and decidability versus domain independence and absoluteness Fulltext Access 15 Pages 2008
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritage Fulltext Access 15 Pages 2008
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) Fulltext Access 15 Pages 2008
Flexible modelling of random effects in linear mixed models—A Bayesian approach Fulltext Access 15 Pages 2008
Stacked Laplace-EM algorithm for duration models with time-varying and random effects Fulltext Access 15 Pages 2008
Dimension-reduced nonparametric maximum likelihood computation for interval-censored data Fulltext Access 15 Pages 2008
One-step approximations for detecting regime changes in the state space model with application to the influenza data Fulltext Access 15 Pages 2008
Smooth manifold reconstruction from noisy and non-uniform approximation with guarantees Fulltext Access 15 Pages 2008
Mining relational data from text: From strictly supervised to weakly supervised learning Fulltext Access 15 Pages 2008
A framework for ICT standards creation: The case of ITU-T standard H.350 Fulltext Access 15 Pages 2008
An ontological engineering approach for automating inspection and quarantine at airports Fulltext Access 15 Pages 2008
Stochastic local search for large-scale instances of the haplotype inference problem by pure parsimony Fulltext Access 15 Pages 2008
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks Fulltext Access 15 Pages 2008
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis Fulltext Access 15 Pages 2008
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic Fulltext Access 15 Pages 2008
Building Certified Static Analysers by Modular Construction of Well-founded Lattices Fulltext Access 15 Pages 2008