5639 search results - page 373 / 1128 » Timed Abstract Non-interference |
119
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
164
click to vote
LCR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper gives an overview of locality enhancement techniques used by the Jasmine compiler, currently under development at the University of Toronto. These techniques e...
138
click to vote
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: Since mobile user mobility behaviors can vary according to time periods, e.g. office-going/closing and office hours, the location management traffic load for tracking ...
125
click to vote
PRICAI
1998
Springer
15 years 8 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
119
click to vote
FODO
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...