5838 search results - page 572 / 1168 » A File System for System Programming in Ubiquitous Computing |
227
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
215
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
161
click to vote
ACTA
2004
15 years 7 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
192
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes the principles of an original adaptive interconnect for a computational cluster. Torus topology (2d or 3d) is used as a basis but nodes are allowed to effecti...
221
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...