1247 search results - page 87 / 250 » A First Report on the A |
123
click to vote
CSUR
2000
15 years 6 months ago
2000
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
163
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
177
click to vote
ISCI
2002
15 years 6 months ago
2002
In this paper, we report our recent work on closed form solutions to the blocking and dropping probability in wireless cellular networks with handoff. First, we develop a performa...
163
click to vote
JCAL
2002
15 years 6 months ago
2002
Two studies report upon the effect of asking learners to answer questions when learning in a hypertext environment, even when no immediate feedback is given to learners about the a...
160
click to vote
MONET
2002
15 years 6 months ago
2002
Many cache management schemes designed for mobile environments are based on invalidation reports (IRs). However, IR-based approach suffers from long query latency and it cannot eff...