142 search results - page 26 / 29 » Protocol Algebra |
138
click to vote
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
125
click to vote
ESA
2010
Springer
15 years 3 months ago
2010
Springer
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
136
click to vote
JSAC
2007
15 years 1 months ago
2007
Abstract— Distributed space-time coding is a means of achieving diversity through cooperative communication in a wireless relay network. In this paper, we consider a transmission...
114
click to vote
JCS
2010
15 years 11 days ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...