5456 search results - page 984 / 1092 » General Equilibrium Theory |
204
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
173
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
178
click to vote
EUROCRYPT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
179
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
185
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...