9581 search results - page 419 / 1917 » On Ubiquitous Integrated Computing |
173
click to vote
EUROPAR
2003
Springer
16 years 2 days ago
2003
Springer
The process of design search and optimisation is characterised by its computationally intensive operations, which produce a problem well suited to Grid computing. Here we present a...
195
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
199
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Thispaper describes our design and implementation of a computer augmented environment that allows users to smoothly interchange digital information among their portable computers,...
208
click to vote
CICLING
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
186
click to vote
UPP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The increasing scale complexity, heterogeneity and dynamism of networks, systems and applications have made our computational and information infrastructure brittle, unma...