2912 search results - page 270 / 583 » Architecture for Providing Services in the Ubiquitous Comput... |
185
Voted
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
177
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Grids currently serve as platforms for numerous scientific as well as business applications that generate and access vast amounts of data. In this paper, we address the need for e...
324
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
148
click to vote
CBMS
2009
IEEE
15 years 7 months ago
2009
IEEE
We report on a display system to support laparoscopy by loosely coupling input sensors (e.g., cameras) with outputs (e.g., image displays). A low-latency and general-purpose compu...
147
Voted
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...