Mixing logics and rewards for the component-oriented specification of performance measures Fulltext Access 21 Pages 2007
On sovereign credit migration: A study of alternative estimators and rating dynamics Fulltext Access 22 Pages 2007
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications Fulltext Access 22 Pages 2007
Automatic generation of polynomial invariants of bounded degree using abstract interpretation Fulltext Access 22 Pages 2007
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case Fulltext Access 22 Pages 2007
What is Itanium Memory Consistency from the Programmer's Point of View? Fulltext Access 22 Pages 2007
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I Fulltext Access 22 Pages 2007
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads Fulltext Access 22 Pages 2007
Primitive Recursiveness of Real Numbers under Different Representations Fulltext Access 22 Pages 2007
Advanced Resource Connector middleware for lightweight computational Grids Fulltext Access 22 Pages 2007
Elastic reservations for efficient bandwidth utilization in LambdaGrids Fulltext Access 22 Pages 2007
Improving the estimation of Kendall's tau when censoring affects only one of the variables Fulltext Access 22 Pages 2007
Boundary labeling: Models and efficient algorithms for rectangular maps Fulltext Access 22 Pages 2007
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems Fulltext Access 22 Pages 2007
Bootstrap hypothesis testing for some common statistical problems: A critical evaluation of size and power properties Fulltext Access 22 Pages 2007
A Bayesian analysis of moving average processes with time-varying parameters Fulltext Access 22 Pages 2007
Balanced allocation and dictionaries with tightly packed constant size bins Fulltext Access 22 Pages 2007
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic Fulltext Access 22 Pages 2007
An analytical approach to the inference of summary data of additive type Fulltext Access 22 Pages 2007
On the design of coordination diagnosis algorithms for teams of situated agents Fulltext Access 23 Pages 2007
On tree automata that certify termination of left-linear term rewriting systems Fulltext Access 23 Pages 2007
On the freeze quantifier in Constraint LTL: Decidability and complexity Fulltext Access 23 Pages 2007
Adaptive decomposition and remapping algorithms for object-space-parallel direct volume rendering of unstructured grids Fulltext Access 23 Pages 2007
Tutorial on separation results in process calculi via leader election problems Fulltext Access 23 Pages 2007
Combining text and link analysis for focused crawling—An application for vertical search engines Fulltext Access 23 Pages 2007
Computational techniques for spatial logistic regression with large data sets Fulltext Access 23 Pages 2007
Improving the reliability of bootstrap tests with the fast double bootstrap Fulltext Access 23 Pages 2007
The asymptotic and finite sample distributions of OLS and simple IV in simultaneous equations Fulltext Access 23 Pages 2007
Normalization by Evaluation for Martin-Löf Type Theory with One Universe Fulltext Access 23 Pages 2007
Formal Sequentialization of Distributed Systems via Program Rewriting 1 Fulltext Access 23 Pages 2007
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols 1 Fulltext Access 23 Pages 2007
A spectrum of compromise aggregation operators for multi-attribute decision making Fulltext Access 24 Pages 2007
Why Heideggerian AI failed and how fixing it would require making it more Heideggerian Fulltext Access 24 Pages 2007
Interoperation among agent-based information systems through a communication acts ontology Fulltext Access 24 Pages 2007
The leganet system: Freshness-aware transaction routing in a database cluster Fulltext Access 24 Pages 2007
Temporal aggregation, systematic sampling, and the Hodrick–Prescott filter Fulltext Access 24 Pages 2007
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure Fulltext Access 24 Pages 2007
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic Fulltext Access 24 Pages 2007
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction Fulltext Access 24 Pages 2007