NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation Fulltext Access 15 Pages 2009
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins Fulltext Access 15 Pages 2009
Quality Factors and Coding Standards – a Comparison Between Open Source Forges Fulltext Access 15 Pages 2009
A Software Maintenance Maturity Model (S3M): Measurement Practices at Maturity Levels 3 and 4 Fulltext Access 15 Pages 2009
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS Fulltext Access 15 Pages 2009
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems Fulltext Access 15 Pages 2009
Two-dimensional hierarchies of proper languages of lexicalized FRR-automata Fulltext Access 15 Pages 2009
Optimal strategies for maintaining a chain of relays between an explorer and a base camp Fulltext Access 15 Pages 2009
ScalaTrace: Scalable compression and replay of communication traces for high-performance computing Fulltext Access 15 Pages 2009
Hardness of approximation for orthogonal rectangle packing and covering problems Fulltext Access 15 Pages 2009
RLH: Bitmap compression technique based on run-length and Huffman encoding Fulltext Access 15 Pages 2009
A Kerberos security architecture for web services based instrumentation grids Fulltext Access 15 Pages 2009
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence Fulltext Access 15 Pages 2009
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting Fulltext Access 15 Pages 2009
Path-based distance functions in n-dimensional generalizations of the face- and body-centered cubic grids Fulltext Access 15 Pages 2009
A Reformulation-Linearization Technique (RLT) for semi-infinite and convex programs under mixed 0-1 and general discrete restrictions Fulltext Access 15 Pages 2009
Collision-free path coloring with application to minimum-delay gathering in sensor networks Fulltext Access 15 Pages 2009
The self-affine property of (U,r)(U,r)-Carlitz sequences of polynomials deciphered in terms of graph directed IFS Fulltext Access 15 Pages 2009
Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs Fulltext Access 15 Pages 2009
Multiclass classification and gene selection with a stochastic algorithm Fulltext Access 15 Pages 2009
Optimal simplification of polygonal chains for subpixel-accurate rendering Fulltext Access 15 Pages 2009
Computing the arrangement of circles on a sphere, with applications in structural biology Fulltext Access 15 Pages 2009
Design of the CGAL 3D Spherical Kernel and application to arrangements of circles on a sphere Fulltext Access 15 Pages 2009
A Technique to Build Debugging Tools for Lazy Functional Logic Languages Fulltext Access 15 Pages 2009
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras Fulltext Access 15 Pages 2009
Category Classification and Topic Discovery of Japanese and English News Articles Fulltext Access 15 Pages 2009
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments Fulltext Access 16 Pages 2009
Improved Continuous Approximation of PEPA Models through Epidemiological Examples Fulltext Access 16 Pages 2009
Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem Fulltext Access 16 Pages 2009
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA Fulltext Access 16 Pages 2009