1733 search results - page 267 / 347 » On the naturalness of software |
138
click to vote
BIOADIT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. How can artificial or natural agents autonomously gain understanding of its own internal (sensory) state? This is an important question not just for physically embodied ...
154
click to vote
FC
2004
Springer
15 years 11 months ago
2004
Springer
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
148
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
148
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
158
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...