10263 search results - page 397 / 2053 » From Use Cases to System Operation Specifications |
205
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
230
click to vote
LREC
2008
15 years 9 months ago
2008
Language models used in current automatic speech recognition systems are trained on general-purpose corpora and are therefore not relevant to transcribe spoken documents dealing w...
181
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
168
click to vote
ICPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
203
click to vote
OSDI
2000
ACM
15 years 9 months ago
2000
ACM
Freeblock scheduling is a new approach to utilizing more of disks' potential media bandwidths. By filling rotational latency periods with useful media transfers, 20{50% of a ...