1481 search results - page 27 / 297 » Optimal Reductions in Interaction Systems |
ENTCS
2007
14 years 10 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
JSCIC
2008
14 years 10 months ago
2008
Abstract The paper is concerned with system reduction by statistical methods and, in particular, by the optimal prediction method introduced in (Chorin, A.J., Hald, O.H., Kupferman...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
ENTCS
2010
14 years 10 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
105
click to vote
AMR
2007
Springer
15 years 4 months ago
2007
Springer
Distance measures, along with shape features, are the most critical components in a shape-based 3D model retrieval system. Given a shape feature, an optimal distance measure will v...