Sciweavers

3200 search results - page 529 / 640
» Scalable computing with parallel tasks
Sort
View
ISORC
2005
IEEE
14 years 3 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
GCC
2004
Springer
14 years 3 months ago
Open Language Approach for Dynamic Service Evolution
This paper introduces a novel approach for dynamic service establishment in a virtual organization. To allow dynamism semantic information has to be processed. A common language is...
Thomas Weishäupl, Erich Schikuta
CHI
1997
ACM
14 years 2 months ago
Cognitive Modeling Reveals Menu Search is Both Random and Systematic
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...
Anthony J. Hornof, David E. Kieras
SC
1995
ACM
14 years 1 months ago
Relative Debugging and its Application to the Development of Large Numerical Models
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
David Abramson, Ian T. Foster, John Michalakes, Ro...
NAACL
2010
13 years 8 months ago
Variational Inference for Adaptor Grammars
Adaptor grammars extend probabilistic context-free grammars to define prior distributions over trees with "rich get richer" dynamics. Inference for adaptor grammars seek...
Shay B. Cohen, David M. Blei, Noah A. Smith