10263 search results - page 275 / 2053 » From Use Cases to System Operation Specifications |
190
click to vote
FAST
2004
15 years 8 months ago
2004
MEMS-based storage devices (MEMStores) are significantly different from both disk drives and semiconductor memories. The differences motivate the queswhether they need new abstrac...
193
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
This research explores how a wide range of automobile crash, emergency responder, hospital, and trauma information could be useful to emergency medical practitioners for making de...
181
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
183
click to vote
SEFM
2005
IEEE
16 years 26 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
201
click to vote
ECML
2004
Springer
15 years 11 months ago
2004
Springer
Maintaining compact and competent case bases has become a main topic of Case Based Reasoning (CBR) research. The main goal is to obtain a compact case base (with a reduced number o...