291 search results - page 24 / 59 » Software Industrialization and Architecture Certification |
FM
2008
Springer
13 years 9 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...
CODES
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
IWPC
2002
IEEE
14 years 18 days ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
CGO
2003
IEEE
14 years 1 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...