898 search results - page 136 / 180 » Comparing high-level modeling approaches for embedded system... |
EAAI
2008
13 years 7 months ago
2008
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
We describe a novel, model-based approach to augmented cognition. We first discuss a subset of cognitive limitations that are likely to impair performance. We then note traditiona...
SPIN
2012
Springer
11 years 10 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...