304 search results - page 61 / 61 » Verification of Timed Systems Using POSETs |
KDD
2004
ACM
14 years 6 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
MOBIHOC
2008
ACM
14 years 5 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
KCAP
2005
ACM
13 years 11 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
TON
2008
13 years 5 months ago
2008
We study the effectiveness of automatic patching and quantify the speed of patch or alert dissemination required for worm containment. We focus on random scanning as this is repres...