3667 search results - page 536 / 734 » Software Rejuvenation - Modeling and Analysis |
114
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
114
Voted
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
134
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
136
Voted
RAID
2010
Springer
15 years 1 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...
103
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
When browsing a long video using a traditional timeline slider control, its effectiveness and precision degrade as a video's length grows. When browsing videos with more fram...