3573 search results - page 470 / 715 » Reasoning about Codata |
188
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
207
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
171
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
156
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
Many proposals for electronic payment systems (EPS) have been made but the great majority have failed to achieve widespread adoption. The reasons why some proposals succeed and ot...
166
click to vote
HPDC
2006
IEEE
16 years 17 days ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...