Real-world social networks are often hierarchical, reflecting the fact that some communities are composed of a few smaller, sub-communities. This paper describes a hierarchical B...
Haizheng Zhang, Wei Li, Xuerui Wang, C. Lee Giles,...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
We have developed an agent-based simulation model based on a real case study in the Sekhukhune district of the Limpopo province in South Africa. The work reported here is part of ...
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...