Sciweavers

7891 search results - page 1129 / 1579
» A Distributed Scheduling Framework
Sort
View
ISORC
2005
IEEE
16 years 17 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
SMI
2005
IEEE
100views Image Analysis» more  SMI 2005»
16 years 16 days ago
Robust Particle Systems for Curvature Dependent Sampling of Implicit Surfaces
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
Miriah D. Meyer, Pierre Georgel, Ross T. Whitaker
BPM
2005
Springer
118views Business» more  BPM 2005»
16 years 15 days ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
DCOSS
2005
Springer
16 years 15 days ago
Infrastructure-Establishment from Scratch in Wireless Sensor Networks
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...
Stefan Funke, Nikola Milosavljevic
EGC
2005
Springer
16 years 15 days ago
A Grid-Oriented Genetic Algorithm
Genetic algorithms (GAs) are stochastic search methods that have been successfully applied in many search, optimization, and machine learning problems. Their parallel counterpart (...
Jose Herrera, Eduardo Huedo, Rubén S. Monte...
« Prev « First page 1129 / 1579 Last » Next »