28962 search results - page 424 / 5793 » Computational Mechanism Design |
164
click to vote
EUROCAST
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
175
click to vote
EUROPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Computer games played over the Internet have recently become an important class of distributed applications. In this paper we present a novel proxy server-network topolog...
164
click to vote
JSA
1998
15 years 6 months ago
1998
ReGTime1 (Rent Giga
ops someTimes) is a software package for an envisioned \computing power market". ReGTime helps customers to search for providers who allow their workstati...
181
click to vote
CANDC
2009
ACM
15 years 10 months ago
2009
ACM
Computing technologies such as games, social networking sites, and virtual environments often reproduce forms of social stigma encountered in everyday real life, as well as introd...
174
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...