897 search results - page 33 / 180 » A Methodology for Agent-Oriented Analysis and Design |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
JCB
2006
13 years 7 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
14 years 6 days ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
ISSS
2002
IEEE
14 years 25 days ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci�...