117 search results - page 10 / 24 » Accurate Centralization for Applying Model Checking on Netwo... |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
SAIG
2001
Springer
14 years 25 days ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
TMC
2011
13 years 3 months ago
2011
We propose an integrated scheme for tracking the mobility of a user based on autoregressive models that accurately capture the characteristics of realistic user movements in wirel...
SPAA
2010
ACM
14 years 1 months ago
2010
ACM
We study a natural network creation game, in which each node locally tries to minimize its local diameter or its local average distance to other nodes, by swapping one incident ed...
OPODIS
2003
13 years 9 months ago
2003
Jackson networks have been very successful in so many areas in modeling parallel and distributed systems. However, the ability of Jackson networks to predict performance with syste...