2838 search results - page 191 / 568 » Verifying Controlled Components |
IJSN
2006
13 years 10 months ago
2006
: Access control in sensor networks is used to authorise and grant users the right to access the network and data collected by sensors. Different users have different access right ...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper considers network control for wireless networks with finite buffers. We investigate the performance of joint flow control, routing, and scheduling algorithms which achie...
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
RTSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Real-time embedded systems are increasingly being built using commercial-off-the-shelf (COTS) components such as mass-produced peripherals and buses to reduce costs, timeto-market...
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper is concerned with solar driven sensors deployed in an outdoor environment. We present feedback controllers which adapt parameters of the application such that a maximal...