3154 search results - page 128 / 631 » Computing Closed Skycubes |
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
We study a model of a multi-species ecosystem described by Lotka-Volterra-like equations. Interactions among species form a network whose evolution is determined by the dynamics of...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
ICTAC
2004
Springer
14 years 3 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents the experimental identification of the dynamic parameters of the Orthoglide [1], a 3-DOF parallel. The dynamic identification model is based on the inverse dyn...