4987 search results - page 500 / 998 » Support Ordered Resolution |
181
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
196
click to vote
DAIS
2008
15 years 8 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
240
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
164
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
192
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...