2838 search results - page 442 / 568 » Verifying Controlled Components |
103
Voted
CSCW
2000
ACM
15 years 5 months ago
2000
ACM
WebSplitter symbolizes the union of pervasive multi-device computing and collaborative multi-user computing. WebSplitter provides a unified XML framework that enables multi-device...
135
click to vote
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
137
Voted
IWAN
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
140
click to vote
TWC
2008
15 years 21 days ago
2008
Abstract-- In many portable devices, wireless network interfaces consume upwards of 30% of scarce system energy. Reducing the transceiver's power consumption to extend the sys...
135
Voted
AIM
2002
15 years 21 days ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...