2930 search results - page 427 / 586 » A Constructive Approach to the Design of Distributed Systems |
183
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
171
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
142
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
156
click to vote
WSCG
2003
15 years 7 months ago
2003
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
169
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of allocating a single item repeatedly among multiple competing agents, in an environment where monetary transfers are not possible. We design (Bayes-Nash) inc...