15644 search results - page 271 / 3129 » Brittle System Analysis |
163
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze atta...
194
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
165
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...
175
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
152
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...