1171 search results - page 200 / 235 » A Logical Language for Expressing Authorizations |
132
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
126
click to vote
BXML
2003
15 years 1 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
NDJFL
2000
14 years 11 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
102
click to vote
FPGA
2009
ACM
15 years 6 months ago
2009
ACM
Many natural processes exhibit exponential decay and, consequently, computational scientists make extensive use of e−x in computer simulation experiments. While it is common to ...
134
click to vote
PODC
1994
ACM
15 years 3 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...