Sciweavers

3414 search results - page 261 / 683
» System Support for Object Groups
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 2 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
162
Voted
ICPR
2002
IEEE
16 years 5 months ago
A Theory of the Quasi-Static World
We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequen...
Brandon C. S. Sanders, Randal C. Nelson, Rahul Suk...
233
Voted
OOPSLA
2009
Springer
15 years 11 months ago
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
Marwan Abi-Antoun, Jonathan Aldrich
ICIP
2006
IEEE
16 years 6 months ago
Video Surveillance using Dynamic Configuration of Mutiple Active Cameras
In this paper, we present a coordinated video surveillance system that can minimize the spatial limitation and can precisely extract the 3D position of objects. To do this, our sy...
Nyoun Kim, Ig-Jae Kim, Hyoung-Gon Kim
BXML
2003
15 years 6 months ago
V-Grid-A Versioning Services Framework for the Grid
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
Jernej Kovse, Theo Härder