4966 search results - page 364 / 994 » its 2010 |
199
click to vote
TSE
2010
15 years 5 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
228
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Vehicular Ad-hoc NETworks (VANETs) adopting Dedicated Short-Range Communications (DSRCs) have emerged as a preferred choice of network design for the Intelligent Transportation ...
189
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Since sensor nodes use batteries as their source of energy, energy-based routing becomes an important requirement to extend network lifetime. This routing is done using the node...
165
click to vote
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
197
click to vote
ACL
2010
15 years 4 months ago
2010
There is a growing research interest in opinion retrieval as on-line users' opinions are becoming more and more popular in business, social networks, etc. Practically speakin...