571 search results - page 115 / 115 » Performing causality analysis by bounded model checking |
150
Voted
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...