5838 search results - page 102 / 1168 » A File System for System Programming in Ubiquitous Computing |
108
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
168
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
113
click to vote
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
— The age of technology has changed the way that surgeons are being trained. Traditional methodologies for training can include lecturing, shadowing, apprenticing, and developing...
117
click to vote
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
120
click to vote
ISWC
2002
IEEE
15 years 8 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...