2255 search results - page 105 / 451 » High Assurance Software Systems |
WSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
SEW
2003
IEEE
14 years 3 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
In the application domain of online information services such as online census information, health records and real-time stock quotes, there are at least two fundamental challenge...
ASAP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
LADS
2007
Springer
14 years 4 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...