Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions Fulltext Access 19 Pages 2007
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation Fulltext Access 19 Pages 2007
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems Fulltext Access 19 Pages 2007
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics 1 Fulltext Access 19 Pages 2007
Efficient pebbling for list traversal synopses with application to program rollback Fulltext Access 19 Pages 2007
Algorithmic analysis of a basic evolutionary algorithm for continuous optimization Fulltext Access 19 Pages 2007
Tight lower bounds for query processing on streaming and external memory data Fulltext Access 19 Pages 2007
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars 1 Fulltext Access 19 Pages 2007
Automata theory based on quantum logic: Reversibilities and pushdown automata Fulltext Access 19 Pages 2007
A rewriting logic framework for operational semantics of membrane systems Fulltext Access 19 Pages 2007
Definition and use of Computation Independent Models in an MDA-based groupware development process Fulltext Access 19 Pages 2007
Bowker's test for symmetry and modifications within the algebraic framework Fulltext Access 19 Pages 2007
Valid hypothesis testing in face of spatially dependent data using multi-layer perceptrons and sub-sampling techniques Fulltext Access 19 Pages 2007
Identifying differentially expressed genes in dye-swapped microarray experiments of small sample size Fulltext Access 19 Pages 2007
Analysing the performance of bootstrap neural tests for conditional heteroskedasticity in ARCH-M models Fulltext Access 19 Pages 2007
Unbiased split selection for classification trees based on the Gini Index Fulltext Access 19 Pages 2007
High-dimensional pseudo-logistic regression and classification with applications to gene expression data Fulltext Access 19 Pages 2007
Algorithms and applications for approximate nonnegative matrix factorization Fulltext Access 19 Pages 2007
Residual-based specification of a hidden random field included in a hierarchical spatial model Fulltext Access 19 Pages 2007
Visualization and inference based on wavelet coefficients, SiZer and SiNos Fulltext Access 19 Pages 2007
On the relationships among latent variables and residuals in PLS path modeling: The formative-reflective scheme Fulltext Access 19 Pages 2007
Joint segmentation of wind speed and direction using a hierarchical model Fulltext Access 19 Pages 2007
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract) Fulltext Access 19 Pages 2007
Markov models for digraph panel data: Monte Carlo-based derivative estimation Fulltext Access 19 Pages 2007
Generalized likelihood ratio test for varying-coefficient models with different smoothing variables Fulltext Access 19 Pages 2007
On the stability properties of linear dynamic time-varying unforced systems involving switches between parameterizations from topologic considerations via graph theory Fulltext Access 19 Pages 2007
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games Fulltext Access 20 Pages 2007
On the parallel computation of the biconnected and strongly connected co-components of graphs Fulltext Access 20 Pages 2007
DW-RBAC: A formal security model of delegation and revocation in workflow systems Fulltext Access 20 Pages 2007
Practical reasoning as presumptive argumentation using action based alternating transition systems Fulltext Access 20 Pages 2007
On decidability of monadic logic of order over the naturals extended by monadic predicates Fulltext Access 20 Pages 2007
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator) Fulltext Access 20 Pages 2007
Scalability analysis of three monitoring and information systems: MDS2, R-GMA, and Hawkeye Fulltext Access 20 Pages 2007
A revisit of fast greedy heuristics for mapping a class of independent tasks onto heterogeneous computing systems Fulltext Access 20 Pages 2007
Deadlock-free connection-based adaptive routing with dynamic virtual circuits Fulltext Access 20 Pages 2007