2502 search results - page 330 / 501 » Using probabilistic model checking in systems biology |
132
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...
158
Voted
PPSN
1992
Springer
15 years 8 months ago
1992
Springer
In this paper, we describe the application of a new type of genetic algorithm called the Structured Genetic Algorithm (sGA) for function optimization in nonstationary environments...
129
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
139
Voted
CIMCA
2006
IEEE
15 years 10 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
152
click to vote
WISES
2003
15 years 6 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...