Sciweavers

1464 search results - page 140 / 293
» Process-Oriented Collective Operations
Sort
View
CADE
2010
Springer
13 years 10 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
CBMS
2009
IEEE
13 years 10 months ago
A system for searching uterine cervix images by visual attributes
Content-based indexing and retrieval is gaining increasing interest in the medical domain with the growing size of medical image databases. We present here a Web-accessible retrie...
Zhiyun Xue, Sameer Antani, L. Rodney Long, George ...
COMPSAC
2007
IEEE
13 years 9 months ago
An Online Monitoring Approach for Web services
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei
CONCURRENCY
2008
71views more  CONCURRENCY 2008»
13 years 9 months ago
Gossip-based search selection in hybrid peer-to-peer networks
We present GAB, a search algorithm for hybrid P2P networks, that is, networks that search using both flooding and a DHT. GAB uses a gossip-style algorithm to collect global statis...
M. Zaharia, S. Keshav
DPD
2006
114views more  DPD 2006»
13 years 9 months ago
A novel approach to resource scheduling for parallel query processing on computational grids
Advances in network technologies and the emergence of Grid computing have both increased the need and provided the infrastructure for computation and data intensive applications to...
Anastasios Gounaris, Rizos Sakellariou, Norman W. ...