5326 search results - page 821 / 1066 » On what we can ensure |
160
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...
182
click to vote
ACSC
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
211
click to vote
AFRIGRAPH
2006
ACM
16 years 17 days ago
2006
ACM
The computation of high-fidelity images in real-time remains one of the key challenges for computer graphics. Recent work has shown that by understanding the human visual system,...
214
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
178
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...