607 search results - page 72 / 122 » A Design Theory for Systems That Support Emergent Knowledge ... |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
ANSS
2001
IEEE
13 years 11 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
ERSA
2010
13 years 5 months ago
2010
As reconfigurable computing (RC) platforms are becoming increasingly large-scale and heterogeneous, efficiently scheduling and partitioning applications on these platforms is a gro...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
ICALT
2007
IEEE
13 years 11 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...