4248 search results - page 288 / 850 » Simulating hci for all |
162
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
193
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we analyze the publish/subscribe distributed system paradigm over mobile ad hoc networks with respect to the performance and the impact of different mobility speeds ...
246
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Vehicular ad hoc networks (VANETs) are being advocated for traffic control, accident avoidance, and a variety of other applications. Security is an important concern in VANETs...
208
click to vote
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
As part of the IEEE 802.16 protocol, the random access scheme is used for ranging. The ratio between the numbers of periodic ranging slots and data slots in the uplink subframe de...
181
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
As various kinds of peer-to-peer (P2P) applications become popular and widely known to people all around the world, research on P2P networks has received considerable interest. Re...