1875 search results - page 231 / 375 » Modeling the Security of Steganographic Systems |
72
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
77
Voted
SAFECOMP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
102
Voted
ISARCS
2010
15 years 4 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
129
click to vote
ECBS
2007
IEEE
15 years 2 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
HT
2005
ACM
15 years 6 months ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...