Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence Fulltext Access 20 Pages 2008
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers Fulltext Access 20 Pages 2008
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions Fulltext Access 20 Pages 2008
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems 1 Fulltext Access 20 Pages 2008
Relational Analysis and Precision via Probabilistic Abstract Interpretation Fulltext Access 20 Pages 2008
Computation of distances for regular and context-free probabilistic languages Fulltext Access 20 Pages 2008
The class constrained bin packing problem with applications to video-on-demand Fulltext Access 20 Pages 2008
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations Fulltext Access 20 Pages 2008
Comparing disjunctive modal transition systems with an one-selecting variant Fulltext Access 20 Pages 2008
Convex recolorings of strings and trees: Definitions, hardness results and algorithms Fulltext Access 20 Pages 2008
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models Fulltext Access 20 Pages 2008
Parameterisation and efficient MCMC estimation of non-Gaussian state space models Fulltext Access 20 Pages 2008
Unanticipated partial behavioral reflection: Adapting applications at runtime Fulltext Access 20 Pages 2008
Subsampling techniques and the Jackknife methodology in the estimation of the extremal index Fulltext Access 20 Pages 2008
A theoretical result for processing signals that have unknown distributions and priors in white Gaussian noise Fulltext Access 20 Pages 2008
Modelling residuals dependence in dynamic life tables: A geostatistical approach Fulltext Access 20 Pages 2008
Bayesian inference in non-homogeneous Markov mixtures of periodic autoregressions with state-dependent exogenous variables Fulltext Access 20 Pages 2008
Deriving the autocovariances of powers of Markov-switching GARCH models, with applications to statistical inference Fulltext Access 20 Pages 2008
Bayesian inference for nonlinear multivariate diffusion models observed with error Fulltext Access 20 Pages 2008
An iterated local search algorithm for the vehicle routing problem with convex time penalty functions Fulltext Access 20 Pages 2008
Maximum entropy and least square error minimizing procedures for estimating missing conditional probabilities in Bayesian networks Fulltext Access 20 Pages 2008
Bayesian prediction of the transient behaviour and busy period in short- and long-tailed GI/G/1GI/G/1 queueing systems Fulltext Access 21 Pages 2008
Robust bandwidth selection in semiparametric partly linear regression models: Monte Carlo study and influential analysis Fulltext Access 21 Pages 2008
On termination detection in crash-prone distributed systems with failure detectors Fulltext Access 21 Pages 2008
A framework for scalable greedy coloring on distributed-memory parallel computers Fulltext Access 21 Pages 2008
Local polynomial estimation in partial linear regression models under dependence Fulltext Access 21 Pages 2008
The BOXEL framework for 2.5D data with applications to virtual drivethroughs and ray tracing Fulltext Access 21 Pages 2008
Coupled Transformation of Schemas, Documents, Queries, and Constraints 1 Fulltext Access 21 Pages 2008
The combination of multiple classifiers using an evidential reasoning approach Fulltext Access 21 Pages 2008
GG-graphs: An efficient tool for constructing symmetric and semisymmetric graphs Fulltext Access 21 Pages 2008
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs Fulltext Access 21 Pages 2008
Time and space adaptation for computational grids with the ATOP-Grid middleware Fulltext Access 21 Pages 2008
Grid-enabling data mining applications with DataMiningGrid: An architectural perspective Fulltext Access 21 Pages 2008
An approach to grid resource selection and fault management based on ECA rules Fulltext Access 21 Pages 2008