10870 search results - page 1997 / 2174 » Model Checking Programs |
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
At TCC 2005, Backes and Cachin proposed a new and very strong notion of security for public key steganography: secrecy against adaptive chosen covertext attack (SS-CCA); and posed ...
104
click to vote
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
110
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
118
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
BlueGene/L is currently the world’s fastest supercomputer. It consists of a large number of low power dual-processor compute nodes interconnected by high speed torus and collect...
127
click to vote
LOCA
2005
Springer
15 years 7 months ago
2005
Springer
Context information is used by pervasive networking and context-aware programs to adapt intelligently to different environments and user tasks. As the context information is poten...