On the performance-driven load distribution for heterogeneous computational grids Fulltext Access 16 Pages 2007
Genus characterizes the complexity of certain graph problems: Some tight results Fulltext Access 16 Pages 2007
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking Fulltext Access 16 Pages 2007
Stochastic Concurrent Constraint Programming and Differential Equations Fulltext Access 16 Pages 2007
Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas Fulltext Access 16 Pages 2007
Parametric Performance Contracts for Software Components with Concurrent Behaviour Fulltext Access 16 Pages 2007
Autonomic Adaptation solution based on Service-Context Adequacy Determination Fulltext Access 16 Pages 2007
Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data Fulltext Access 16 Pages 2007
A general comparison of language learning from examples and from queries Fulltext Access 16 Pages 2007
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange Fulltext Access 16 Pages 2007
Can Newtonian systems, bounded in space, time, mass and energy compute all functions? Fulltext Access 16 Pages 2007
Semi-online scheduling problems on two identical machines with inexact partial information Fulltext Access 16 Pages 2007
Detecting local regions of change in high-dimensional criminal or terrorist point processes Fulltext Access 16 Pages 2007
Mixtures of spatial and unstructured effects for spatially discontinuous health outcomes Fulltext Access 16 Pages 2007
Application of resampling and linear spline methods to spectral and dispersional analyses of long-memory processes Fulltext Access 16 Pages 2007
Estimation in a linear multivariate measurement error model with a change point in the data Fulltext Access 16 Pages 2007
Two approximation methods to synthesize the power spectrum of fractional Gaussian noise Fulltext Access 16 Pages 2007
Architectural Interoperability Checking in Visual Coordination Networks 1 Fulltext Access 16 Pages 2007
Bayesian modelling strategies for spatially varying regression coefficients: A multivariate perspective for multiple outcomes Fulltext Access 16 Pages 2007
Approximate and generalized confidence bands for the mean and mode functions of the lognormal diffusion process Fulltext Access 16 Pages 2007
Numerical maximum log likelihood estimation for generalized lambda distributions Fulltext Access 16 Pages 2007
Mixed model regression mapping for QTL detection in experimental crosses Fulltext Access 16 Pages 2007
Calculation of simplicial depth estimators for polynomial regression with applications Fulltext Access 16 Pages 2007
Variational approximations in Bayesian model selection for finite mixture distributions Fulltext Access 16 Pages 2007
Flexible random intercept models for binary outcomes using mixtures of normals Fulltext Access 16 Pages 2007
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Fulltext Access 16 Pages 2007
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems 1 Fulltext Access 16 Pages 2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources 1 Fulltext Access 16 Pages 2007