1624 search results - page 81 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
211
click to vote
DATE
2007
IEEE
16 years 19 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
136
click to vote
ISOLA
2004
Springer
15 years 11 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...
138
click to vote
IPCCC
2006
IEEE
16 years 10 days ago
2006
IEEE
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The problem stems in large part from the constant innovation and evolu...
164
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
143
click to vote
WSC
2008
15 years 8 months ago
2008
This research presents optimized maintenance design using simulation to analyze the capability of auto part manufacturing production system. The integration of simulation and opti...