1350 search results - page 150 / 270 » Reasoning about Staged Computation |
158
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
150
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
169
click to vote
VL
2006
IEEE
15 years 11 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
157
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
142
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...