A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation Fulltext Access 16 Pages 2009
Adaptive Latency Insensitive Protocols and Elastic Circuits with Early Evaluation: A Comparative Analysis Fulltext Access 16 Pages 2009
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives Fulltext Access 16 Pages 2009
Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets Fulltext Access 16 Pages 2009
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures Fulltext Access 16 Pages 2009
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition Fulltext Access 16 Pages 2009
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols Fulltext Access 17 Pages 2009
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks Fulltext Access 17 Pages 2009
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems Fulltext Access 17 Pages 2009
A combinatorial geometrical approach to two-dimensional robust pattern matching with scaling and rotation Fulltext Access 17 Pages 2009
A new linear time algorithm to compute the genomic distance via the double cut and join distance Fulltext Access 17 Pages 2009
A lightweight and distributed middleware to provide presence awareness in mobile ubiquitous systems Fulltext Access 17 Pages 2009
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments Fulltext Access 17 Pages 2009
A survey of scheduling metrics and an improved ordering policy for list schedulers operating on workloads with dependencies and a wide variation in execution times Fulltext Access 17 Pages 2009
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs Fulltext Access 17 Pages 2009
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models Fulltext Access 17 Pages 2009
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts Fulltext Access 17 Pages 2009
A polynomial algorithm for 2-cyclic robotic scheduling: A non-Euclidean case Fulltext Access 17 Pages 2009
Tree 3-spanners in 2-sep directed path graphs: Characterization, recognition, and construction Fulltext Access 17 Pages 2009
Enumerating edge-constrained triangulations and edge-constrained non-crossing geometric spanning trees Fulltext Access 17 Pages 2009
Mutual exclusion scheduling with interval graphs or related classes, Part I Fulltext Access 17 Pages 2009
A strategy for allowing meaningful and comparable scores in approximate matching Fulltext Access 17 Pages 2009
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction Fulltext Access 17 Pages 2009
Taking an object-centric view on dynamic information with object flow analysis Fulltext Access 17 Pages 2009
A Logical Framework for Debugging in Declarative Constraint Programming Fulltext Access 17 Pages 2009
Statistical analysis of small-area data based on independence, spatial, non-hierarchical, and hierarchical models Fulltext Access 17 Pages 2009
Exploration of distributional models for a novel intensity-dependent normalization procedure in censored gene expression data Fulltext Access 17 Pages 2009