10669 search results - page 225 / 2134 » Software - Implemented Self-healing System |
238
click to vote
JIPS
2010
15 years 1 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
207
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
181
click to vote
FM
1998
Springer
15 years 10 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
194
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
186
Voted
CASCON
1996
15 years 8 months ago
1996
A large portion of the software used in industry today is legacy software. Legacy systems often evolve into dicult to maintain systems whose original design has been lost or else ...