4767 search results - page 624 / 954 » Structures for Abstract Rewriting |
214
click to vote
IC
2010
15 years 4 months ago
2010
Abstract-- `mDNS' - a hierarchical multicast session directory service architecture, which has been recently submitted to IETF editorial board for publication under Best Curre...
212
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
191
click to vote
IH
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We compare two image bases with respect to their capabilities for image modeling and steganalysis. The first basis consists of wavelets, the second is a Laplacian pyramid...
186
click to vote
INDOCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Consider the RSA public key cryptosystem with the parameters N = pq, q < p < 2q, public encryption exponent e and private decryption exponent d. In this paper, cryp...
220
click to vote
IPAW
2010
15 years 4 months ago
2010
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...