1433 search results - page 51 / 287 » An approach to detecting failures automatically |
188
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Traditional techniques for statistical fMRI analysis are often based on thresholding of individual voxel values or averaging voxel values over a region of interest. In this paper w...
149
click to vote
BPM
2000
Springer
15 years 10 months ago
2000
Springer
This chapter describes a novel knowledge-based methodology and computer toolset for helping business process designers and participants better manage exceptions (unexpected deviati...
153
click to vote
DFT
2000
IEEE
15 years 10 months ago
2000
IEEE
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
154
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
— Overlay networks provide infrastructures for a large variety of Internet applications, like file sharing, online gaming, and multimedia streaming. However, these networks ofte...
158
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...