505 search results - page 34 / 101 » Implementation of Belief Change Operators Using BDDs |
ICSE
1999
IEEE-ACM
15 years 1 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
SRDS
1998
IEEE
15 years 1 months ago
1998
IEEE
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...
SAFECOMP
2009
Springer
15 years 4 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
FAST
2003
14 years 11 months ago
2003
We propose a practical and efficient method for adding security to network-attached disks (NADs). In contrast to previous work, our design requires no changes to the data layout ...