1522 search results - page 10 / 305 » Practical Exception Specifications |
101
click to vote
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
PODC
1996
ACM
15 years 1 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
SIN
2010
ACM
14 years 7 months ago
2010
ACM
Policy override is gaining traction in the research community to improve the efficiency and usability of authorization mechanisms. These mechanisms turn the conventional privilege...
ISCA
2008
IEEE
14 years 9 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...