2470 search results - page 324 / 494 » Liveness-Preserving Simulation Relations |
169
click to vote
AIMS
2008
Springer
15 years 7 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
144
Voted
COCO
2010
Springer
15 years 7 months ago
2010
Springer
—A space bounded Stack Machine is a regular Turing Machine with a read-only input tape, several space bounded read-write work tapes, and an unbounded stack. Stack Machines with a...
140
click to vote
GLVLSI
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
128
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions...
134
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...