10038 search results - page 557 / 2008 » Model Checking for Managers |
187
click to vote
DSOM
2008
Springer
15 years 9 months ago
2008
Springer
The accuracy of detecting an intrusion within a network of intrusion detection systems (IDSes) depends on the efficiency of collaboration between member IDSes. The security itself ...
154
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This article describes the application of computational decision analytic techniques for a national policy decision. It constitutes an example of the increasing use of modern comp...
201
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
A simulation-based optimization framework involving simultaneous perturbation stochastic approximation (SPSA) is presented as a means for optimally specifying parameters of intern...
189
click to vote
DEBU
2006
15 years 7 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
221
click to vote
JISE
2007
15 years 7 months ago
2007
Unlike normal wireless ad hoc networks, end-to-end connection may not exist in DTNs Thus, the Message Ferrying (MF) scheme has been proposed as a strategy for providing connectivi...