449 search results - page 27 / 90 » Modeling and Analysis of Multi-hop Control Networks |
CONEXT
2006
ACM
15 years 3 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
106
click to vote
DCOSS
2006
Springer
15 years 1 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...
LCN
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract—Active measurements on network paths provide endto-end network health status in terms of metrics such as bandwidth, delay, jitter and loss. Hence, they are increasingly ...
LCN
2007
IEEE
15 years 3 months ago
2007
IEEE
—The IEEE 802.16 standard (commonly known as WiMAX), which has emerged as a broadband wireless access technology, is capable of delivering very high data rates. The grant/request...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...