An Agent-Based Data-Generation Tool for Situation-Aware Systems
暂无分享,去创建一个
[1] Charles M. Macal,et al. Managing Business Complexity: Discovering Strategic Solutions with Agent-Based Modeling and Simulation , 2007 .
[2] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[3] Juan Carlos Augusto,et al. Increasing Reliability in the Development of Intelligent Environments , 2009, Intelligent Environments.
[4] Michael J. North,et al. A Declarative Model Assembly Infrastructure for Verification and Validation , 2006, WCSS.
[5] Arthur L. Liestman,et al. A survey of gossiping and broadcasting in communication networks , 1988, Networks.
[6] Yechiam Yemini,et al. NEST: a network simulation and prototyping testbed , 1990, CACM.
[7] Daniel Retkowitz,et al. Simulation of Smart Environments , 2007, IEEE International Conference on Pervasive Services.
[8] Andres Mendez-Vazquez,et al. Simulating Events to Generate Synthetic Data for Pervasive Spaces , 2008 .
[9] Mica R. Endsley,et al. Toward a Theory of Situation Awareness in Dynamic Systems , 1995, Hum. Factors.
[10] Davide Merico,et al. Tracking with high-density, large-scale wireless sensor networks , 2010, J. Ambient Intell. Smart Environ..
[11] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[12] Charles M. Macal,et al. Managing Business Complexity: Discovering Strategic Solutions with Agent-Based Modeling and Simulation , 2007 .