740 search results - page 21 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
DSOM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
HUC
2007
Springer
14 years 2 months ago
2007
Springer
Mobile phones are a widely-available class of device with supporting communications infrastructure which can be appropriated and exploited to support ubicomp experiences. However m...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
HT
2004
ACM
14 years 1 months ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
This paper describes an ethnographic study completed within a kindergarten environment with the view of gaining insights into the development of new technology for young children....