1371 search results - page 161 / 275 » A Model for Large Scale Self-Stabilization |
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
JSS
1998
13 years 8 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
PADS
2006
ACM
14 years 2 months ago
2006
ACM
The High Level Architecture (HLA) is a standard for the interoperability and reuse of simulation components, referred to as federates. Large scale HLA-compliant simulations are bu...
ECCV
2008
Springer
14 years 10 months ago
2008
Springer
We study the task of object part extraction and labeling, which seeks to understand objects beyond simply identifiying their bounding boxes. We start from bottom-up segmentation of...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
We present a distributed, surveillance system that works in large and complex indoor environments. To track and recognize behaviors of people, we propose the use of the Hidden Mar...