8655 search results - page 954 / 1731 » Challenges for Trusted Computing |
322
click to vote
ARTS
1999
Springer
15 years 12 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
285
click to vote
LCN
1999
IEEE
15 years 12 months ago
1999
IEEE
In a wireless environment, due to topology changes and characteristics of media (interference in radio signals) the bandwidth of a link is unpredictable and possibly very low, the...
214
click to vote
RT
1999
Springer
15 years 12 months ago
1999
Springer
: One of the most important goals of interactive computer graphics is to allow a user to freely walk around a virtual recreation of a real environment that looks as real as the wor...
220
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
Efficient storage and retrieval of large multidimensional datasets is an important concernfor large-scale scientific computations such as long-running time-dependent simulations w...
181
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...