623 search results - page 124 / 125 » Declarative Network Verification |
DAC
2010
ACM
13 years 6 months ago
2010
ACM
Leveraging the power of nowadays graphics processing units for robust power grid simulation remains a challenging task. Existing preconditioned iterative methods that require inco...
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...
HUC
2010
Springer
13 years 4 months ago
2010
Springer
This workshop promotes ubiquitous computing research in authentic urban setting, with real users and with sufficient scale and time span. We first motivate why such research is im...
SIES
2010
IEEE
13 years 3 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...
ICDE
2009
IEEE
13 years 3 months ago
2009
IEEE
Search over graph databases has attracted much attention recently due to its usefulness in many fields, such as the analysis of chemical compounds, intrusion detection in network t...