2255 search results - page 29 / 451 » High Assurance Software Systems |
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
ISOLA
2010
Springer
13 years 6 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...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
ACSAC
2001
IEEE
14 years 9 days ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Code clones in software increase maintenance cost and lower software quality. We have devised a new algorithm to detect duplicated parts of source code in large software. Our algo...