Sciweavers

5900 search results - page 1067 / 1180
» Dependable Systems
Sort
View
VMCAI
2007
Springer
15 years 11 months ago
Lattice Automata
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...
Orna Kupferman, Yoad Lustig
DATE
2006
IEEE
78views Hardware» more  DATE 2006»
15 years 11 months ago
Wireless sensor networks and beyond
—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...
Paul J. M. Havinga
GLOBECOM
2006
IEEE
15 years 11 months ago
Outage Performance of Cognitive Wireless Relay Networks
— 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 ...
Kyounghwan Lee, Aylin Yener
ICAC
2006
IEEE
15 years 11 months ago
Weatherman: Automated, Online and Predictive Thermal Mapping and Management for Data Centers
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
Justin D. Moore, Jeffrey S. Chase, Parthasarathy R...
159
Voted
ICNP
2006
IEEE
15 years 11 months ago
High Speed Pattern Matching for Network IDS/IPS
— 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...
Mansoor Alicherry, Muthusrinivasan Muthuprasanna, ...
« Prev « First page 1067 / 1180 Last » Next »