4164 search results - page 767 / 833 » Timing model reduction for hierarchical timing analysis |
181
click to vote
IAJIT
2007
15 years 6 months ago
2007
: Mobile ad-hoc network is a network without infrastructure where every node has its own protocols and services for powerful cooperation in the network. Every node also has the abi...
174
click to vote
IAJIT
2007
15 years 6 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...
147
click to vote
SCL
2008
15 years 6 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
207
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
198
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper, bandwidth allocation, in terms of distributing available data slots among different users, is studied for QoS provisioning in IEEE 802.16 networks. By considering th...