2585 search results - page 124 / 517 » computing 1999 |
113
Voted
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe imprecise calendars, a way to organize and schedule clusters of nodes in a computation grid. Imprecise calendars permit the easy and efficient sharing of resources bet...
123
Voted
RTA
1999
Springer
15 years 7 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
113
Voted
HUC
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we describe the material of a construction kit designed to allow children to build their own handheld and wearable devices to meet their interests and passions. Child...
112
Voted
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
104
Voted
HUC
1999
Springer
15 years 7 months ago
1999
Springer
A problem in Ubiquitous Computing environments is the coordination of a multitude of different devices. This paper presents the RAUM1 -system that provides the basis for communicat...