Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks Fulltext Access 17 Pages 2008
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees ⋆ Fulltext Access 17 Pages 2008
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management Fulltext Access 17 Pages 2008
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components Fulltext Access 17 Pages 2008
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents Fulltext Access 17 Pages 2008
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata Fulltext Access 17 Pages 2008
Platform Independent Timing of Java Virtual Machine Bytecode Instructions Fulltext Access 17 Pages 2008
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Fulltext Access 17 Pages 2008
Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics Fulltext Access 17 Pages 2008
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking Fulltext Access 17 Pages 2008
On complexity functions of infinite words associated with generalized Dyck languages Fulltext Access 17 Pages 2008
A Functional Algorithm for Exact Real Integration with Invariant Measures Fulltext Access 17 Pages 2008
Approximation of powers of some tests in one-way MANOVA type multivariate generalized linear model Fulltext Access 17 Pages 2008
Pair-perturbation influence functions of nongaussianity by projection pursuit Fulltext Access 17 Pages 2008
Marginal likelihoods for non-Gaussian models using auxiliary mixture sampling Fulltext Access 17 Pages 2008
Modelling long-memory volatilities with leverage effect: A-LMSV versus FIEGARCH Fulltext Access 17 Pages 2008
Bayesian significance testing and multiple comparisons from MCMC outputs Fulltext Access 17 Pages 2008
Size and power of tests for a zero random effect variance or polynomial regression in additive and linear mixed models Fulltext Access 17 Pages 2008
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems Fulltext Access 17 Pages 2008
Statistical inference and prediction for the Weibull process with incomplete observations Fulltext Access 17 Pages 2008
A Bayesian propensity score adjustment for latent variable modeling and MCMC algorithm Fulltext Access 17 Pages 2008
Approximation of an open polygonal curve with a minimum number of circular arcs and biarcs Fulltext Access 17 Pages 2008
Clustering spatial networks for aggregate query processing: A hypergraph approach Fulltext Access 17 Pages 2008
Systems of sets such that each set properly intersects at most one other set—Application to cluster analysis Fulltext Access 17 Pages 2008
Unification of lower-bound analyses of the lift-and-project rank of combinatorial optimization polyhedra Fulltext Access 17 Pages 2008
Coloring graphs by iterated local search traversing feasible and infeasible solutions Fulltext Access 17 Pages 2008
A distributional study of the path edge-covering numbers for random trees Fulltext Access 17 Pages 2008
Heyting algebras with Boolean operators for rough sets and information retrieval applications Fulltext Access 17 Pages 2008
Multi-group support vector machines with measurement costs: A biobjective approach Fulltext Access 17 Pages 2008
Facet defining inequalities among graph invariants: The system GraPHedron Fulltext Access 17 Pages 2008