Sciweavers

3555 search results - page 369 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
WADS
2005
Springer
149views Algorithms» more  WADS 2005»
16 years 6 days ago
Balanced Aspect Ratio Trees Revisited
Spatial databases support a variety of geometric queries on point data such as range searches, nearest neighbor searches, etc. Balanced Aspect Ratio (BAR) trees are hierarchical sp...
Amitabh Chaudhary, Michael T. Goodrich
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Discrete denoising of heterogenous two-dimensional data
We consider discrete denoising of two-dimensional data with characteristics that may be varying abruptly between regions. Using a quadtree decomposition technique and space-fillin...
Taesup Moon, Tsachy Weissman, Jae-Young Kim
BPM
2007
Springer
118views Business» more  BPM 2007»
16 years 27 days ago
Privacy Preserving Collaborative Business Process Management
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
Sumit Chakraborty, Asim Kumar Pal
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 5 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...
RISE
2004
Springer
16 years 2 days ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...