1371 search results - page 129 / 275 » A Model for Large Scale Self-Stabilization |
119
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
148
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
134
Voted
ISQED
2008
IEEE
15 years 10 months ago
2008
IEEE
— The dominant substrate noise coupling mechanism is determined for multiple switching gates based on a physically intuitive model. The model exhibits reasonable accuracy as comp...
131
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— In many applications of supervised learning, the conditional average of the target variables is not sufficient for prediction. The dependencies between the explanatory variabl...
164
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...