14244 search results - page 503 / 2849 » Modeling Program Predictability |
140
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
138
Voted
CIA
2004
Springer
15 years 10 months ago
2004
Springer
The problem of encouraging trustworthy behavior in P2P online communities by managing peers’ reputations has drawn a lot of attention recently. However, most of the proposed solu...
134
click to vote
FSR
2003
Springer
15 years 10 months ago
2003
Springer
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
162
Voted
PRIB
2009
Springer
15 years 9 months ago
2009
Springer
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
124
click to vote
IJON
2006
15 years 5 months ago
2006
Neural-network dynamics frequently organize in assemblies of synchronized neurons that are thought to encode and store sensory information. We have investigated the mechanisms lea...