13489 search results - page 2326 / 2698 » Operating System |
173
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
191
Voted
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
194
Voted
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
204
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Mobile ad hoc networking is an operating mode for rapid mobile host interconnection, where nodes rely on each other, in order to maintain network connectivity and functionality. S...
167
click to vote
SIPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the sub-Nyquist rate digital-to-analog conversion technique for a direct waveform synthesis (DWS) transmitter. IEEE 802.22 TV band Cognitive Radio (CR) transm...