423 search results - page 63 / 85 » Multi-objective Model Checking of Markov Decision Processes |
CSFW
2004
IEEE
14 years 11 days ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
TMC
2011
13 years 3 months ago
2011
We consider the problem of optimal channel access to provide quality of service (QoS) for data transmission in cognitive vehicular networks. In such a network the vehicular nodes ...
CVPR
2005
IEEE
14 years 2 months ago
2005
IEEE
Advances in computer processing power and emerging algorithms are allowing new ways of envisioning Human Computer Interaction. This paper focuses on the development of a computing...
WCNC
2010
IEEE
14 years 15 days ago
2010
IEEE
Abstract—In cognitive mobile multihop relay (CMMR) network, the mobile user as the primary user is allocated with the channel for transmitting data. Relay station as the secondar...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...