Application of Queueing Network Models in the Performance Evaluation of Database Designs Fulltext Access 24 Pages 2009
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting Fulltext Access 24 Pages 2009
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems Fulltext Access 24 Pages 2009
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS Fulltext Access 24 Pages 2009
Of malicious motes and suspicious sensors: On the efficiency of malicious interference in wireless networks Fulltext Access 24 Pages 2009
Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services Fulltext Access 24 Pages 2009
Improved compact linearizations for the unconstrained quadratic 0–1 minimization problem Fulltext Access 24 Pages 2009
Computationally sound implementations of equational theories against passive adversaries Fulltext Access 25 Pages 2009
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs Fulltext Access 25 Pages 2009
Dynamic management of capabilities in a network aware coordination language Fulltext Access 25 Pages 2009
An intermediate language for the stochastic simulation of biological systems Fulltext Access 25 Pages 2009
Exploitation of semantic relationships and hierarchical data structures to support a user in his annotation and browsing activities in folksonomies Fulltext Access 25 Pages 2009
Node and edge selectivity estimation for range queries in spatial networks Fulltext Access 25 Pages 2009
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints Fulltext Access 25 Pages 2009
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach Fulltext Access 26 Pages 2009
A heuristic search approach to planning with temporally extended preferences Fulltext Access 26 Pages 2009
Securing interaction between threads and the scheduler in the presence of synchronization Fulltext Access 26 Pages 2009
Amalgamating sessions and methods in object-oriented languages with generics Fulltext Access 26 Pages 2009
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) Fulltext Access 26 Pages 2009
Stochastic biological modelling in the presence of multiple compartments Fulltext Access 26 Pages 2009
An efficient local approach to convexity testing of piecewise-linear hypersurfaces Fulltext Access 26 Pages 2009
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences Fulltext Access 26 Pages 2009
Testing for heteroskedasticity and spatial correlation in a random effects panel data model Fulltext Access 26 Pages 2009
Efficient duration and hierarchical modeling for human activity recognition Fulltext Access 27 Pages 2009
Task decomposition on abstract states, for planning under nondeterminism Fulltext Access 27 Pages 2009
Exploration–exploitation tradeoff using variance estimates in multi-armed bandits Fulltext Access 27 Pages 2009
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude Fulltext Access 27 Pages 2009
Taxonomy for characterizing ensemble methods in classification tasks: A review and annotated bibliography Fulltext Access 27 Pages 2009
On the Expressive Power of Schedulers in Distributed Probabilistic Systems Fulltext Access 27 Pages 2009
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems Fulltext Access 27 Pages 2009
Operational domain theory and topology of sequential programming languages Fulltext Access 27 Pages 2009
Automatic generation of textual summaries from neonatal intensive care data Fulltext Access 28 Pages 2009
A family of syntactic logical relations for the semantics of Haskell-like languages Fulltext Access 28 Pages 2009
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP Fulltext Access 28 Pages 2009
Behavioral interface description of an object-oriented language with futures and promises Fulltext Access 28 Pages 2009
Efficient inclusion checking for deterministic tree automata and XML Schemas Fulltext Access 28 Pages 2009
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving Fulltext Access 28 Pages 2009
Deterministic bottom-up tree transducers and ground term rewrite systems Fulltext Access 29 Pages 2009
Approximation algorithms for orthogonal packing problems for hypercubes Fulltext Access 29 Pages 2009
Using semantic components to search for domain-specific documents: An evaluation from the system perspective and the user perspective Fulltext Access 29 Pages 2009
Formally transforming user-model testing problems into implementer-model testing problems and viceversa Fulltext Access 29 Pages 2009
Robustness of temporal logic specifications for continuous-time signals Fulltext Access 30 Pages 2009