Sciweavers

1164 search results - page 176 / 233
» Type based service composition
Sort
View
JSS
2008
136views more  JSS 2008»
15 years 3 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
JCM
2007
59views more  JCM 2007»
15 years 3 months ago
QAM Resource Allocation in Mixed-Format VoD Systems
— A Quadrature Amplitude Modulation (QAM) resource allocation algorithm for Video on Demand (VoD) traffic is presented. Based on stream encoding rates and available system capaci...
Jiong Gong, David Reed, Terry Shaw, Daniel A. Viva...
100
Voted
AGIS
2000
54views more  AGIS 2000»
15 years 3 months ago
The Application of Earth Science Findings to the Practical Problems of Growing Winegrapes
Transforming science findings into practical applications is presented in the specific case of using remote sensing to detect the presence of an infestation of grapevines. The vin...
David L. Peterson, Lee F. Johnson
KDD
2004
ACM
110views Data Mining» more  KDD 2004»
16 years 3 months ago
Generalizing the notion of support
The goal of this paper is to show that generalizing the notion of support can be useful in extending association analysis to non-traditional types of patterns and non-binary data....
Michael Steinbach, Pang-Ning Tan, Hui Xiong, Vipin...
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 9 days ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...