A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus Fulltext Access 16 Pages 2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Fulltext Access 16 Pages 2010
Design-based estimation for geometric quantiles with application to outlier detection Fulltext Access 16 Pages 2010
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation Fulltext Access 16 Pages 2010
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems Fulltext Access 16 Pages 2010
Semi-Automatic Specification of Behavioural Service Adaptation Contracts Fulltext Access 16 Pages 2010
Towards a federated Metropolitan Area Grid environment: The SCoPE network-aware infrastructure Fulltext Access 16 Pages 2010
eSciGrid: A P2P-based e-science Grid for scalable and efficient data sharing Fulltext Access 16 Pages 2010
Design and implementation of a real-time training environment for protective relay Fulltext Access 16 Pages 2010
Robust Bayesian analysis of heavy-tailed stochastic volatility models using scale mixtures of normal distributions Fulltext Access 16 Pages 2010
Robust mixture modeling based on scale mixtures of skew-normal distributions Fulltext Access 16 Pages 2010
Regularization parameter estimation for large-scale Tikhonov regularization using a priori information Fulltext Access 16 Pages 2010
Robust designs for generalized linear models with possible overdispersion and misspecified link functions Fulltext Access 16 Pages 2010
Market linkages, variance spillovers, and correlation stability: Empirical evidence of financial contagion Fulltext Access 16 Pages 2010
Non-linear time series clustering based on non-parametric forecast densities Fulltext Access 16 Pages 2010
Inference for a simple step-stress model with competing risks for failure from the exponential distribution under time constraint Fulltext Access 16 Pages 2010
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases Fulltext Access 16 Pages 2010
Feature Interaction Aware Test Case Generation for Embedded Control Systems Fulltext Access 16 Pages 2010
A branch-and-cut algorithm for solving the Non-Preemptive Capacitated Swapping Problem Fulltext Access 16 Pages 2010
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting Fulltext Access 16 Pages 2010
Flexibility and coordination in event-based, loosely coupled, distributed systems Fulltext Access 16 Pages 2010
Masking traveling beams: Optical solutions for NP-complete problems, trading space for time Fulltext Access 17 Pages 2010
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems Fulltext Access 17 Pages 2010
Theoretical underpinnings for maximal clique enumeration on perturbed graphs Fulltext Access 17 Pages 2010
Implementation tradeoffs in the design of flexible transactional memory support Fulltext Access 17 Pages 2010
Diagnosing multiple intermittent failures using maximum likelihood estimation Fulltext Access 17 Pages 2010
Syntactic Language Extension via an Algebra of Languages and Transformations Fulltext Access 17 Pages 2010
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models Fulltext Access 17 Pages 2010
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings Fulltext Access 17 Pages 2010
A Lightweight Approach to Customizable Composition Operators for Java-like Classes Fulltext Access 17 Pages 2010
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata Fulltext Access 17 Pages 2010
Towards Context Independent Extra-functional Properties Descriptor for Components Fulltext Access 17 Pages 2010
Fast file dissemination in peer-to-peer networks with upstream bandwidth constraint Fulltext Access 17 Pages 2010