10038 search results - page 1833 / 2008 » Model Checking for Managers |
147
click to vote
ICMCS
1995
IEEE
15 years 8 months ago
1995
IEEE
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...
123
click to vote
PPOPP
1995
ACM
15 years 8 months ago
1995
ACM
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
163
click to vote
SIGMOD
1995
ACM
15 years 8 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
134
click to vote
AFRICACRYPT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...
193
click to vote
EATIS
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...