2918 search results - page 380 / 584 » Design tools for reliability analysis |
164
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...
189
click to vote
SCESM
2006
ACM
16 years 14 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
204
click to vote
VL
2005
IEEE
16 years 3 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
169
click to vote
TAPIA
2005
ACM
16 years 2 days ago
2005
ACM
Collaborative capabilities are a hallmark of a new generation of networked applications. While traditional collaboration puts the computer in the foreground to help users interfac...
173
click to vote
AADEBUG
2005
Springer
16 years 2 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...