1959 search results - page 260 / 392 » Concerned About Separation |
136
click to vote
GROUP
1999
ACM
15 years 8 months ago
1999
ACM
This paper addresses issues of user interface design, relating to ease of use, of handheld CSCW. In particular, we are concerned with the requirements that arise from situations i...
143
click to vote
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
143
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
136
click to vote
KDD
1999
ACM
15 years 8 months ago
1999
ACM
In this paper a concern about the accuracy (as a function of parallelism) of a certain class of distributed learning algorithms is raised, and one proposed improvement is illustrat...
112
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...