3565 search results - page 289 / 713 » Modeling a system controller for timing analysis |
163
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
140
click to vote
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
138
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we propose an integrated service-based handoff scheme with (ISBQ) and without queue capability (ISB) for the cellular and WLAN integration. The proposed handoff s...
152
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
155
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...