3224 search results - page 46 / 645 » Abstract Error Projection |
96
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
148
click to vote
CCS
2011
ACM
14 years 2 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...
116
click to vote
SEUS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
77
Voted
OSS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
100
click to vote
EGOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most reported literature on evaluation of e-government systems tend to focus on narrow aspects of project design and implementation. The larger context of development and...