4922 search results - page 878 / 985 » Internet time out |
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We consider a scenario where a sophisticated jammer jams an area in a single-channel wireless sensor network. The jammer controls the probability of jamming and transmi...
NDSS
2007
IEEE
14 years 3 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
— The coverage and connectivity problem in sensor networks has received significant attention of the research community in the recent years. In this paper, we study this problem...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...