7075 search results - page 1170 / 1415 » Models and heterogeneous reasoning |
183
click to vote
ESORICS
2004
Springer
16 years 3 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
179
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
189
click to vote
RULEML
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
168
click to vote
DATE
2003
IEEE
16 years 23 hour ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
169
click to vote
HICSS
2003
IEEE
16 years 20 hour ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...