3979 search results - page 735 / 796 » Wild control operators |
108
click to vote
AB
2007
Springer
15 years 4 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
DRM
2007
Springer
15 years 4 months ago
2007
Springer
In software protection we typically have to deal with the white-box attack model. In this model an attacker is assumed to have full access to the software and full control over it...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Many real-world optimization problems are dynamic in nature. The interest in the Evolutionary Algorithms (EAs) community in applying EA variants to dynamic optimization problems h...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...