431 search results - page 41 / 87 » A Modeling Methodology for Conflict Control in Multi-Agent S... |
JSS
2008
13 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
CTW
2006
13 years 7 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
VTC
2010
IEEE
13 years 5 months ago
2010
IEEE
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
MAM
2008
13 years 7 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...