2542 search results - page 53 / 509 » One step ahead |
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ENTCS
2008
13 years 9 months ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
Level set based segmentation has been used with and without shape priors, to approach difficult segmentation problems in several application areas. This paper addresses two limita...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Valiant’s concept of Randomized Load Balancing (RLB), also promoted under the name ‘two-phase routing’, has previously been shown to provide a cost-effective way of implem...