7118 search results - page 1057 / 1424 » Electrical and Computer Engineering |
122
Voted
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Adaptive query processing in large distributed systems has seen increasing importance due to the rising environmental fluctuations in a growing Internet. We describe Ginga, an ad...
125
Voted
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
Most user interface development methodologies have been conceived based on the experience from the development of traditional PC-based systems. However, computer and displays techn...
169
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
106
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
137
Voted
ICCSA
2010
Springer
15 years 9 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...