746 search results - page 121 / 150 » Formal Analysis of UML-Based Designs |
INFOCOM
2008
IEEE
15 years 8 months 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...
105
Voted
FC
2005
Springer
15 years 7 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...
151
Voted
ATAL
2010
Springer
15 years 2 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...
114
Voted
CONCURRENCY
2008
15 years 1 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...
115
click to vote
HPCA
2005
IEEE
16 years 2 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...