575 search results - page 94 / 115 » Model Checking Restricted Sets of Timed Paths |
KDD
2004
ACM
15 years 5 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
81
Voted
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...
DSD
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
104
click to vote
SPAA
2005
ACM
15 years 5 months ago
2005
ACM
An important problem for wireless ad hoc networks has been to design overlay networks that allow time- and energy-efficient routing. Many local-control strategies for maintaining...
123
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...