7167 search results - page 1240 / 1434 » A Technique for Invariant Generation |
226
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Accurate system planning and performance evaluation requires knowledge of the joint impact of scheduling, interference, and fading. However, current analyses either require costly...
172
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...
224
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...
194
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
202
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Real-world optimization problems are often subject to uncertainties, which can arise regarding stochastic model parameters, objective functions and decision variables. Th...