769 search results - page 80 / 154 » Where Is the Proof |
BIRTHDAY
2006
Springer
14 years 19 days ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
DSOM
2007
Springer
14 years 3 months ago
2007
Springer
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
ASIACRYPT
2000
Springer
14 years 1 months ago
2000
Springer
An authenticated encryption scheme is a symmetric encryption scheme whose goal is to provide both privacy and integrity. We consider two possible notions of authenticity for such ...
ACSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
ACSC
2003
IEEE
14 years 2 months ago
2003
IEEE
Graphs where each node includes an amount of text are often used in applications. A typical example of such graphs is UML diagrams used in CASE tools. To make text information in ...