5638 search results - page 350 / 1128 » On presence |
137
click to vote
NOMS
2006
IEEE
16 years 25 days ago
2006
IEEE
—This paper describes a study of predicting machine availabilities and user presence in a pool of desktop computers. The study is based on historical traces collected from 32 mac...
185
click to vote
SP
2006
IEEE
16 years 25 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
165
click to vote
VTC
2006
IEEE
16 years 25 days ago
2006
IEEE
— In orthogonal frequency division multiplexed (OFDM) systems affected by carrier frequency offsets, frequency ambiguity resolution, i.e. the estimation of the part of the freque...
174
click to vote
MMSEC
2006
ACM
16 years 23 days ago
2006
ACM
With the advent of sophisticated and low-cost video editing software, it is becoming increasingly easier to tamper with digital video. In addition, an ever-growing number of video...
177
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Multimedia documents are collections of media objects, synchronized by means of sets of temporal and spatial constraints. Any multimedia document definition is valid as long as t...