554 search results - page 81 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—Network power consumption can be reduced considerably by adapting link data rates to their offered traffic loads. In this paper, we exploit how to leverage rate adaptat...
CIKM
1997
Springer
14 years 27 days ago
1997
Springer
The access patterns of the users of a web-site are traditionally analyzed in order to facilitate the user access to the site's information. In this study, however, a systemat...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—We study two-player security games which can be viewed as sequences of nonzero-sum matrix games where at each stage of the iterations the players make imperfect observations of ...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
AUTONOMICS
2008
ACM
13 years 10 months ago
2008
ACM
A prominent functionality of a Wireless Sensor Network (WSN) is environmental monitoring. For this purpose the WSN creates a model for the real world by using abstractions to pars...