1734 search results - page 65 / 347 » its 2000 |
SRDS
2000
IEEE
15 years 2 months ago
2000
IEEE
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Data reverse engineering is a rapidly growing field which is sometimes misunderstood. In our effort to promote the realization that data reverse engineering is a valuable and esse...
WMCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
Prior work has shown the value of changing application fidelity to adapt to varying resource levels in a mobile environment. Choosing the right fidelity requires us to predict i...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
We propose a collaborative exploration system that helps users to explore recommendations from various viewpoints. Given ratings and reviews on movies from reviewers, the system p...