9067 search results - page 1539 / 1814 » Adaptive Model Checking |
196
click to vote
EUROCRYPT
2004
Springer
16 years 17 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...
193
click to vote
FASE
2004
Springer
16 years 17 days ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
187
click to vote
ISMIR
2004
Springer
16 years 17 days ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listener...
224
click to vote
MDM
2004
Springer
16 years 16 days ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
195
click to vote
ICDCS
2003
IEEE
16 years 14 days ago
2003
IEEE
Internet radio and television stations require significant bandwidth to support delivery of high quality audio and video streams to a large number of receivers. IP multicast is a...