2272 search results - page 295 / 455 » Validity Invariants and Effects |
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
101
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
109
click to vote
EMS
2009
IEEE
15 years 8 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
119
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Wireless sensor networks (WSNs) are usually missioned to gather critical information in hostile and adversarial environments, which make them susceptible to compromise a...
113
click to vote
ISCC
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent studies indicate that the Internet-related energy consumption represents a significant, and increasing, part of the overall energy consumption of our society. The largest c...