9166 search results - page 224 / 1834 » A framework for comparing models of computation |
131
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
132
click to vote
ISCI
2007
15 years 4 months ago
2007
This paper examines a decision-tree framework for instance-space decomposition. According to the framework, the original instance-space is hierarchically partitioned into multiple...
133
click to vote
P2P
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed computing is a very broad and active research area comprising fields such as cluster computing, computational grids, desktop grids and peer-to-peer (P2P) systems. Unf...
136
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
152
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...