1816 search results - page 38 / 364 » Case study in modeling and simulation validation methodology |
BMCBI
2008
14 years 9 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
DAGSTUHL
1992
14 years 10 months ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
ER
2004
Springer
15 years 3 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
ATAL
2009
Springer
14 years 10 months ago
2009
Springer
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...