302 search results - page 16 / 61 » An approach to synthesise safe systems |
76
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Modern Network Intrusion Detection Systems (NIDSs) maintain state that helps them accurately detect attacks. Because most NIDSs are signature-based, it is critical to update their...
109
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
231
click to vote
POPL
2002
ACM
16 years 21 days ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
HOTDEP
2008
15 years 2 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
117
click to vote
JSA
2000
15 years 5 days ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...