Sciweavers

518 search results - page 45 / 104
» Accelerated Data-Flow Analysis
Sort
View
BPM
2006
Springer
128views Business» more  BPM 2006»
14 years 12 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
PVLDB
2008
123views more  PVLDB 2008»
14 years 9 months ago
Dependable cardinality forecasts for XQuery
Though inevitable for effective cost-based query rewriting, the derivation of meaningful cardinality estimates has remained a notoriously hard problem in the context of XQuery. By...
Jens Teubner, Torsten Grust, Sebastian Maneth, She...
IEEEIAS
2009
IEEE
14 years 7 months ago
An Improved Scheme of Single Sign-on Protocol
In order to avoid security threats caused by password attack and replay attack in single sign-on protocal, the most methods on sovling these issues are making use of complicated te...
Yang Jian
IEEEVAST
2010
14 years 4 months ago
Anomaly detection in GPS data based on visual analytics
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
Zicheng Liao, Yizhou Yu, Baoquan Chen
ICIP
2004
IEEE
15 years 11 months ago
Symmetry feature in content-based image retrieval
In this paper, we first apply the theory of wallpaper groups to natural images and extract a novel feature to depict the symmetry property of natural images. The original proposed...
Jingrui He, Mingjing Li, HongJiang Zhang, Changshu...