3801 search results - page 589 / 761 » An Approach to Modeling Software Safety |
139
Voted
RE
2007
Springer
15 years 10 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
110
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
134
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
160
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
205
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...