3801 search results - page 196 / 761 » An Approach to Modeling Software Safety |
139
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
187
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
154
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
133
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
134
Voted
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...