11345 search results - page 1781 / 2269 » Foundations of Computer Science |
133
click to vote
ICPP
2007
IEEE
15 years 11 months ago
2007
IEEE
The demand for more computational power in science and engineering has spurred the design and deployment of ever-growing cluster systems. Even though the individual components use...
138
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The goal of the work described in this paper is to design and build a scalable infrastructure for executing grid applications on a widely distributed set of resources. Such grid i...
174
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
137
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
141
click to vote
GRID
2007
Springer
15 years 11 months ago
2007
Springer
— Biomolecular simulations play a key role in the study of complex biological processes at microscopic levels in which macromolecules such as proteins are involved. The simulatio...