3801 search results - page 570 / 761 » An Approach to Modeling Software Safety |
138
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
136
click to vote
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
133
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
122
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
153
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
Understanding and modeling the variability of an existing system is a highly critical and challenging task when adopting a product line approach. Only little guidance is available...