302 search results - page 37 / 61 » An approach to synthesise safe systems |
175
click to vote
ICALP
2007
Springer
16 years 7 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
127
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
149
Voted
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Commercial SRAM-based FPGAs have the potential to provide aerospace applications with the necessary performance to meet next-generation mission requirements. However, the suscepti...
157
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
149
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...