727 search results - page 12 / 146 » A Calculus of Bounded Capacities |
TCOM
2011
13 years 2 months ago
2011
CORR
2011
Springer
13 years 2 months ago
2011
Springer
FGCN
2007
IEEE
14 years 1 months ago
2007
IEEE
In many applications of sensor networks, it is essential to ensure that messages are transmitted to their destinations as early as possible and the buffer size of each sensor node...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
TABLEAUX
2005
Springer
14 years 1 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...