1547 search results - page 122 / 310 » The Isabelle Collections Framework |
128
Voted
ISAS
2004
Springer
15 years 9 months ago
2004
Springer
A ubiquitous computing system derives its operations from the collective interactions of its constituent components. Consequently, a robust ubiquitous system entails that the discr...
122
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
144
click to vote
ICIP
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a multi-resolution space carving algorithm that reconstructs a 3D model of visual scene photographed by a calibrated digital camera placed at multiple viewpoints. Our a...
124
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Network management and desktop management frequently employ different tools and technologies. This divorce may be even emphasized as massive quantities of very diverse elements ra...
123
click to vote
HPCN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A metacomputing environment is a collection of geographically distributed resources (people, computers, devices, databases) connected by one or more high-speed networks, ...