1945 search results - page 66 / 389 » Pursuit-Evasion in Models of Complex Networks |
IPPS
1998
IEEE
14 years 10 days ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
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 ...
PEWASUN
2004
ACM
14 years 1 months ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
ECCB
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
LION
2009
Springer
14 years 2 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...