3424 search results - page 292 / 685 » Building Diverse Computer Systems |
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
102
click to vote
SISW
2003
IEEE
15 years 7 months ago
2003
IEEE
Computer forensic analysis, intrusion detection and disaster recovery are all dependent on the existence of trustworthy log files. Current storage systems for such log files are...
103
click to vote
USENIX
2004
15 years 3 months ago
2004
Network positioning has recently been demonstrated to be a viable concept to represent the network distance relationships among Internet end hosts. Several subsequent studies have...
113
click to vote
ACL
2000
15 years 3 months ago
2000
Writing English is a big barrier for most Chinese users. To build a computer-aided system that helps Chinese users not only on spelling checking and grammar checking but also on w...
114
click to vote
HUC
2005
Springer
15 years 8 months ago
2005
Springer
Location systems that are based on scanning for nearby radio sources can estimate the position of a mobile device with reasonable accuracy and high coverage. These systems require ...