12981 search results - page 2468 / 2597 » Model Checking and Abstraction |
137
click to vote
ASIACRYPT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
134
click to vote
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
152
click to vote
ESSMAC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. While there is strong motivation for using Gaussian Processes (GPs) due to their excellent performance in regression and classification problems, their computational com...
129
click to vote
ICICS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...
121
click to vote
AFRICACRYPT
2010
Springer
15 years 6 months ago
2010
Springer
the full version of the extended abstract which appears in Africacrypt ’10 (3 – 6 may 2010, Stellenbosch, South Africa) D. Bernstein and T. Lange Eds., Springer-Verlag, LNCS 60...