2468 search results - page 230 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
155
Voted
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
149
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
121
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
129
click to vote
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
132
click to vote
CCR
2006
15 years 4 months ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...