1843 search results - page 16 / 369 » Securing Class Initialization |
AIPS
2009
13 years 8 months ago
2009
Temporally expressive planning, an important class of temporal planning, has attracted much attention lately. Temporally expressive planning is difficult; few existing planners ca...
ACISP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Highly nonlinear Boolean functions occupy an important position in the design of secure block as well as stream ciphers. This paper proves two new lower bounds on the non...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
WAN
1998
Springer
13 years 11 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...
CCR
2007
13 years 7 months ago
2007
The research community worldwide has increasingly drawn its attention to the weaknesses of the current Internet. Many proposals are addressing the perceived problems, ranging from...