1264 search results - page 9 / 253 » Designing Safe, Reliable Systems using Scade |
CBSE
2004
Springer
14 years 23 days 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. ...
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
Civil infrastructure provides the range of essential services generally necessary to support a nation’s economy and quality of life—arguably entire economies rely on the abili...
DOCENG
2010
ACM
13 years 6 months ago
2010
ACM
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...
ENTCS
2007
13 years 7 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
GI
2004
Springer
14 years 22 days ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...