— We consider a propagation model under path loss, shadowing and multipath effects, where each cell are a Voronoi tessellation and the generating points of this cells are a unifo...
Laurent Decreusefond, Eduardo Ferreir, Philippe Ma...
Collision detection is a vital task in almost all forms of computer animation and physical simulation. It is also one of the most computationally expensive, and therefore a freque...
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
: A reputation management system can promote trust in transactions in an online consumer-to-consumer (C2C) market. We model a C2C market by employing an agent-based approach. To di...
Social interaction plays an important role in our daily lives. It is one of the most important indicators of physical or mental diseases of aging patients. In this paper, we presen...