3765 search results - page 661 / 753 » Formal Methods for Systems Engineering Behavior Models |
112
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
IAAI
1993
15 years 3 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
148
click to vote
ICST
2009
IEEE
15 years 6 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
119
click to vote
FPGA
2008
ACM
15 years 4 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
131
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...