5900 search results - page 1067 / 1180 » Dependable Systems |
133
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
137
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
—Wireless Sensor Networks provide opportunities even outside their usual application domain of environmental monitoring. In this paper we present a case study on the use of Wirel...
143
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we investigate the outage performance of cognitive wireless relay networks where source nodes communicate to their destinations via multiple hops facilitated by ...
165
click to vote
ICAC
2006
IEEE
15 years 11 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
159
Voted
ICNP
2006
IEEE
15 years 11 months ago
2006
IEEE
— The phenomenal growth of the Internet in the last decade and society’s increasing dependence on it has brought along, a flood of security attacks on the networking and compu...