1760 search results - page 84 / 352 » A System to Mark Programs Automatically |
124
click to vote
CCS
2011
ACM
13 years 12 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
CADE
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
110
click to vote
JFP
2008
14 years 12 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
AUIC
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
109
click to vote
PARA
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...