746 search results - page 121 / 150 » Formal Analysis of UML-Based Designs |
142
click to vote
INFOCOM
2008
IEEE
16 years 7 days ago
2008
IEEE
Abstract—In order to improve scalability and reduce maintenance overhead for structured Peer-to-Peer systems, researchers design optimal architectures with constant degree and lo...
158
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
192
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
160
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
157
Voted
HPCA
2005
IEEE
16 years 6 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...