1830 search results - page 323 / 366 » Centering in Dynamic Semantics |
104
click to vote
CIKM
2001
Springer
15 years 3 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
113
click to vote
TACAS
2001
Springer
15 years 3 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
100
click to vote
ICDCS
2000
IEEE
15 years 3 months ago
2000
IEEE
The increasing popularity and diversity of collaborative applications prompts a need for highly secure and reliable communication platforms for dynamic peer groups. Security mecha...
MICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...