7623 search results - page 378 / 1525 » Constructive Volume Modeling |
202
click to vote
ASIACRYPT
2005
Springer
16 years 1 months 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 ...
161
Voted
AUSAI
2001
Springer
16 years 1 days 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...
229
click to vote
DAIS
2001
15 years 9 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...
164
Voted
C++
1992
15 years 8 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 ...
202
Voted
DKE
2007
15 years 7 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...