1802 search results - page 129 / 361 » Model-based Theory Combination |
EUROCRYPT
2004
Springer
14 years 2 months ago
2004
Springer
An aggregate signature scheme (recently proposed by Boneh, Gentry, Lynn, and Shacham) is a method for combining n signatures from n different signers on n different messages int...
ICCSA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
ICTCS
2001
Springer
14 years 1 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
ISQED
2000
IEEE
14 years 1 months ago
2000
IEEE
We address the problem of power estimation at the register-transfer level (RTL). At this level, the circuit is described in terms of a set of interconnected memory elements and co...
LCN
2000
IEEE
14 years 1 months ago
2000
IEEE
In absence of any link layer traffic controls or priorityqueuing mechanism in LAN infrastructure (such as shared media LAN), Subnet Bandwidth Management based approach of managing...