7623 search results - page 378 / 1525 » Constructive Volume Modeling |
175
click to vote
ASIACRYPT
2005
Springer
16 years 6 days ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
146
click to vote
AUSAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
209
click to vote
DAIS
2001
15 years 8 months ago
2001
: We describe QoSDREAM, a middleware framework for the construction and management of context-aware multimedia applications. The contributions of QoSDREAM include (1) a novel appro...
147
click to vote
C++
1992
15 years 7 months ago
1992
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
184
Voted
DKE
2007
15 years 6 months ago
2007
Histogram techniques have been used in many commercial database management systems to estimate a query result size. Recently, it has been shown that they are very effective to su...