251 search results - page 34 / 51 » Retrenchment, Refinement, and Simulation |
RAS
2000
13 years 7 months ago
2000
Cerebellar models have long been advocated as viable models for robot dynamics control. Building on an increasing insight in and knowledge of the biological cerebellum, many model...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
MABS
2004
Springer
14 years 26 days ago
2004
Springer
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
ACMSE
2000
ACM
13 years 12 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...
ICSR
2000
Springer
13 years 11 months ago
2000
Springer
ions that are fundamental to simulators. We present preliminary results that show how our PLA and DSL synergistically produce a more flexible way of implementing state-machine-base...