Sciweavers

2013 search results - page 257 / 403
» Analysis and Design Techniques for Service-Oriented Developm...
Sort
View
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
14 years 3 months ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 11 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
GG
2004
Springer
14 years 2 months ago
Workshop on Graph-Based Tools
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
Tom Mens, Andy Schürr, Gabriele Taentzer
RECOMB
2008
Springer
14 years 9 months ago
Automatic Recognition of Cells (ARC) for 3D Images of C. elegans
The development of high-resolution microscopy makes possible the high-throughput screening of cellular information, such as gene expression at single cell resolution. One of the cr...
Fuhui Long, Hanchuan Peng, Xiao Liu, Stuart K. Kim...
ADBIS
2006
Springer
131views Database» more  ADBIS 2006»
14 years 3 months ago
Anatomy of a Data Stream Management System
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...
Qingchun Jiang, Sharma Chakravarthy