5639 search results - page 658 / 1128 » Timed Abstract Non-interference |
161
click to vote
IWSOS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
167
click to vote
FOSSACS
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
157
click to vote
DSN
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—Peer-to-peer relaying is commonly used in realtime applications to cope with NAT and ï¬rewall restrictions and provide better quality network paths. As relaying is not ...
187
click to vote
ICC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— The concept of cognitive radio (or secondary spectrum access) is currently under investigation as a promising paradigm to achieve efï¬cient use of the frequency resour...
167
click to vote
INFOCOM
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Energy efï¬ciency is critical for wireless sensor networks. The data gathering process must be carefully designed to conserve energy and extend the network lifetime. Fo...