2107 search results - page 275 / 422 » b 2007 |
168
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
147
click to vote
BROADNETS
2007
IEEE
16 years 14 days ago
2007
IEEE
—Online energy aware routing in wireless networks is the problem of finding energy efficient routes that maximize the network lifetime without the knowledge of future message flo...
138
click to vote
DSN
2007
IEEE
16 years 13 days ago
2007
IEEE
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...
157
click to vote
EDOC
2007
IEEE
16 years 13 days ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
146
click to vote
FUZZIEEE
2007
IEEE
16 years 13 days ago
2007
IEEE
— Recently several algorithms for clustering large data sets or streaming data sets have been proposed. Most of them address the crisp case of clustering, which cannot be easily ...