6833 search results - page 1223 / 1367 » Some two-character sets |
166
click to vote
MICRO
2009
IEEE
16 years 21 days ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
195
Voted
ALGOSENSORS
2009
Springer
16 years 20 days ago
2009
Springer
In this paper we study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model. Given a set of radio transmitters distributed ...
177
click to vote
APN
2009
Springer
16 years 20 days ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
147
click to vote
CANS
2009
Springer
16 years 20 days ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...
168
click to vote
ATAL
2009
Springer
16 years 20 days ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...