Sciweavers

9509 search results - page 353 / 1902
» Complex Event Processing
Sort
View
WECWIS
2009
IEEE
159views ECommerce» more  WECWIS 2009»
16 years 1 months ago
Semantic Web Service Composition Framework Based on Parallel Processing
The process of semantic web service composition arranges several web services into one composite service to realize complex workflows with an exploitation of semantics. This pape...
Peter Bartalos, Mária Bieliková
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 10 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
RT
1995
Springer
15 years 10 months ago
Spherical Wavelets: Texture Processing
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...
Peter Schröder, Wim Sweldens
WSC
2008
15 years 9 months ago
Optimizing inspection strategies for multi-stage manufacturing processes using simulation optimization
This paper deals with the problem of determining the optimal inspection strategy for a multi-stage production process using simulation optimization. An optimal inspection strategy...
Vahid Sarhangian, Abolfazl Vaghefi, Hamidreza Eska...
PSTV
1989
71views Hardware» more  PSTV 1989»
15 years 8 months ago
Open Distributed Processing
This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts ar...
J. J. van Griethuysen