3073 search results - page 423 / 615 » Real World Verification |
143
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Persistence - the storage and retrieval of application data from secondary storage media - is often used as a classical example of a crosscutting concern. It is widely assumed tha...
137
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
With the rapid growth in the popularity of and the research interest in peer-to-peer (P2P) systems, an interesting question is what the quality of network connectivity between pee...
169
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
In the classical load balancing or multiprocessor scheduling problem, we are given a sequence of jobs of varying sizes and are asked to assign each job to one of the m empty proce...
169
click to vote
AE
2003
Springer
15 years 11 months ago
2003
Springer
Although there are some real world applications where the use of variable length representation (VLR) in Evolutionary Algorithm is natural and suitable, an academic framework is la...
187
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...