1432 search results - page 228 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
175
Voted
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
Modern disk drives read-ahead data and reorder incoming requests in a workload-dependent fashion. This improves their performance, but makes simple analytical models of them inade...
126
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
157
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
103
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper describes the development and initial testing of a new and optimized version of a steady-hand manipulator for retinal microsurgery. In the steady-hand paradigm, the ...
139
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...