1945 search results - page 84 / 389 » Pursuit-Evasion in Models of Complex Networks |
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
WAW
2009
Springer
14 years 2 months ago
2009
Springer
We present a deterministic model for on-line social networks based on transitivity and local knowledge in social interactions. In the Iterated Local Transitivity (ILT) model, at ea...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
JNW
2006
13 years 8 months ago
2006
Simulation is the most important and widely used method in the research of Mobile Ad hoc NETworks (MANET). The topology of MANET and the mobility of mobile nodes are the key factor...
TSMC
2008
13 years 8 months ago
2008
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...