3937 search results - page 494 / 788 » Questioning Ubiquitous Computing |
183
click to vote
ELPUB
2000
ACM
15 years 11 months ago
2000
ACM
Government institutions, businesses and individual members of society - at least in the developed world are increasingly required to become computer literate and knowledgeable abo...
175
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
168
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
163
click to vote
ANTS
1998
Springer
15 years 11 months ago
1998
Springer
In this note we address the question whether for a given prime number p, the zeta-function of a number field always determines the p-part of its class number. The answer is known t...
160
click to vote
STOC
1998
ACM
15 years 10 months ago
1998
ACM
We study integrated prefetching and caching problems following the work of Cao et. al. [3] and Kimbrel and Karlin [13]. Cao et. al. and Kimbrel and Karlin gave approximation algor...