7986 search results - page 170 / 1598 » Computational Science and its Applications |
150
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
133
Voted
STACS
1992
Springer
15 years 9 months ago
1992
Springer
abstract Rafail Ostrovskyy Ramarathnam Venkatesanz Moti Yungx Secure commitment is a primitive enabling information hiding, which is one of the most basic tools in cryptography. S...
112
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Taking advantage of the application paradigm of web service, a general paradigm of service computing is discussed for underlying workflow execution based on collaborative...
159
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
134
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...