7213 search results - page 339 / 1443 » Automated model grouping |
231
click to vote
CTRSA
2005
Springer
16 years 9 days ago
2005
Springer
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
171
click to vote
ICDM
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, we propose a novel technique for the efficient prediction of multiple continuous target variables from high-dimensional and heterogeneous data sets using a hierarch...
183
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
211
click to vote
AGTIVE
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
180
click to vote
ENTCS
2007
15 years 6 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...