4000 search results - page 356 / 800 » Simulation down under |
168
click to vote
WSC
2008
15 years 9 months ago
2008
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
189
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
163
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— We develop a realizable circuit reduction to generate the interconnect macro-model for parasitic estimation in wideband applications. The inductance is represented by VPEC (vec...
228
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
155
click to vote
WSC
2001
15 years 8 months ago
2001
The Joint Warfare System (JWARS) is being equipped with a Commander Model (CM) to perform situation assessment and Course of Action (COA) selection, and a Commander Behavior Model...