2118 search results - page 297 / 424 » Execution of A Requirement Model in Software Development |
124
click to vote
DSE
1998
15 years 4 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
243
click to vote
VSTTE
2012
Springer
13 years 12 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
146
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
166
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
120
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...