5900 search results - page 167 / 1180 » Dependable Systems |
159
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
194
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
140
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
104
Voted
AMC
2005
15 years 5 months ago
2005
Steady non-isothermal parallel-plate flow of a Newtonian fluid with a temperature dependent viscosity is considered. The viscosity is modelled by a Nahme type law. We apply axisym...
140
click to vote
FSTTCS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...