The functions erf and erfc computed with arbitrary precision and explicit error bounds Fulltext Access 24 Pages 2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language Fulltext Access 24 Pages 2012
An improved method for test case prioritization by incorporating historical test case data Fulltext Access 24 Pages 2012
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets Fulltext Access 24 Pages 2012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation Fulltext Access 24 Pages 2012
New perspectives in ontological analysis: Guidelines and rules for incorporating modelling languages into UEML Fulltext Access 24 Pages 2012
Learning from others: Exchange of classification rules in intelligent distributed systems Fulltext Access 25 Pages 2012
A bargaining-specific architecture for supporting automated service agreement negotiation systems Fulltext Access 25 Pages 2012
Process diagnostics using trace alignment: Opportunities, issues, and challenges Fulltext Access 25 Pages 2012
Higher-order asymptotic expansions of the least-squares estimation bias in first-order dynamic regression models Fulltext Access 25 Pages 2012
The Scott model of linear logic is the extensional collapse of its relational model Fulltext Access 26 Pages 2012
Exploiting symmetries for single- and multi-agent Partially Observable Stochastic Domains Fulltext Access 26 Pages 2012
Deciding safety properties in infinite-state pi-calculus via behavioural types Fulltext Access 26 Pages 2012
Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages Fulltext Access 26 Pages 2012
An algorithmic strategy for in-network distributed spatial analysis in wireless sensor networks Fulltext Access 26 Pages 2012
The supportive effect of patterns in architecture decision recovery— A controlled experiment Fulltext Access 26 Pages 2012
Split decomposition and graph-labelled trees: Characterizations and fully dynamic algorithms for totally decomposable graphs Fulltext Access 26 Pages 2012
On CD-systems of stateless deterministic R-automata with window size one Fulltext Access 27 Pages 2012
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets Fulltext Access 27 Pages 2012
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity Fulltext Access 27 Pages 2012
Exploiting step semantics for efficient bounded model checking of asynchronous systems Fulltext Access 27 Pages 2012
A combinatoric interpretation of dual variables for weighted matching and f-factors Fulltext Access 28 Pages 2012
Expressing aspectual interactions in requirements engineering: Experiences, problems and solutions Fulltext Access 28 Pages 2012
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt Fulltext Access 28 Pages 2012
Anytime coalition structure generation in multi-agent systems with positive or negative externalities Fulltext Access 28 Pages 2012
Control-flow analysis of function calls and returns by abstract interpretation Fulltext Access 28 Pages 2012
Deriving a Floyd–Hoare logic for non-local jumps from a formulæ-as-types notion of control Fulltext Access 28 Pages 2012
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Fulltext Access 29 Pages 2012
Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications Fulltext Access 29 Pages 2012
Automated verification of state sequence invariants in general game playing Fulltext Access 30 Pages 2012
Observable behavior of distributed systems: Component reasoning for concurrent objects Fulltext Access 30 Pages 2012
Concurrent forward bounding for distributed constraint optimization problems Fulltext Access 31 Pages 2012
Generating diverse plans to handle unknown and partially known user preferences Fulltext Access 31 Pages 2012
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT Fulltext Access 31 Pages 2012
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between Fulltext Access 31 Pages 2012
Automated verification of shape, size and bag properties via user-defined predicates in separation logic Fulltext Access 31 Pages 2012
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions Fulltext Access 32 Pages 2012
A formal abstract framework for modelling and testing complex software systems Fulltext Access 32 Pages 2012