Systematic Refinement of Performance Models for Concurrent Component-based Systems Fulltext Access 18 Pages 2010
A symbolic computation approach to a problem involving multivariate Poisson distributions Fulltext Access 19 Pages 2010
Cyclotomy over products of finite fields and combinatorial applications Fulltext Access 19 Pages 2010
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics Fulltext Access 19 Pages 2010
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL Fulltext Access 19 Pages 2010
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map Fulltext Access 19 Pages 2010
A robust segment/triangle intersection algorithm for interference tests. Efficiency study Fulltext Access 19 Pages 2010
An improved linear bound on the number of perfect matchings in cubic graphs Fulltext Access 19 Pages 2010
Multiple analogues of binomial coefficients and families of related special numbers Fulltext Access 19 Pages 2010
Stability of the reverse Blaschke–Santaló inequality for zonoids and applications Fulltext Access 20 Pages 2010
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems Fulltext Access 20 Pages 2010
Enumeration by kernel positions for strongly Bernoulli type truncation games on words Fulltext Access 20 Pages 2010
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets Fulltext Access 21 Pages 2010
Matching structure of symmetric bipartite graphs and a generalization of Pólya's problem Fulltext Access 21 Pages 2010
Star-quadtrees and guard-quadtrees: I/O-efficient indexes for fat triangulations and low-density planar subdivisions Fulltext Access 21 Pages 2010
Exact join detection for convex polyhedra and other numerical abstractions Fulltext Access 21 Pages 2010
Unifying Architectural and Behavioural Specifications of Distributed Components Fulltext Access 21 Pages 2010
Cyclic generators for irreducible representations of affine Hecke algebras Fulltext Access 21 Pages 2010
The morphology of infinite tournaments; application to the growth of their profile Fulltext Access 21 Pages 2010
On the probability of a rational outcome for generalized social welfare functions on three alternatives Fulltext Access 22 Pages 2010
An efficient algorithm for the stratification and triangulation of an algebraic surface Fulltext Access 22 Pages 2010
Formal Specification of Correlation in WS Orchestrations Using BP-calculus Fulltext Access 22 Pages 2010
Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions Fulltext Access 23 Pages 2010
Tree 3-spanners in 2-sep chordal graphs: Characterization and algorithms Fulltext Access 23 Pages 2010
Extensions and restrictions of Wythoff's game preserving its P positions Fulltext Access 23 Pages 2010
Gale duality bounds for roots of polynomials with nonnegative coefficients Fulltext Access 24 Pages 2010
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages Fulltext Access 24 Pages 2010