2153 search results - page 264 / 431 » From Requirements Models to Formal Specifications in B |
136
click to vote
FAST
2008
15 years 8 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
135
click to vote
CLOR
2006
15 years 10 months ago
2006
Appropriate datasets are required at all stages of object recognition research, including learning visual models of object and scene categories, detecting and localizing instances ...
148
click to vote
WSC
2004
15 years 7 months ago
2004
This work provides a generalization of the traditional response surface methodology (RSM) that can be applied to complex, multi-objective simulation studies. These problems involv...
121
click to vote
WSC
2000
15 years 7 months ago
2000
In recent years simulation proved to be a useful technology to support the making of recurring decisions. This paper describes the integrated simulator concept and requirements to...
151
click to vote
TCOM
2010
15 years 4 months ago
2010
—We propose weakly-constrained stream and block codes with tunable pattern-dependent statistics and demonstrate that the block code capacity at large block sizes is close to the ...