1915 search results - page 115 / 383 » Design and construction of organic computing systems |
100
click to vote
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
112
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
101
Voted
IUI
2010
ACM
15 years 5 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
111
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
108
click to vote
ICSOC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present a solution to the problem of dynamically deploying grid service factories onto computing nodes running an implementation of the Open Grid Services Infras...