2255 search results - page 121 / 451 » High Assurance Software Systems |
ICFEM
1997
Springer
14 years 2 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—Symbol synchronization in traditional hardwaredriven communication systems has relied on the transmission of training sequences of symbols just before the beginning of t...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
CBSE
2004
Springer
14 years 3 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
ICSM
2002
IEEE
14 years 3 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...