1454 search results - page 192 / 291 » Stateful traits and their formalization |
160
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
192
click to vote
ATVA
2007
Springer
16 years 18 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
186
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
147
click to vote
RV
2007
Springer
16 years 15 days ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
142
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...