3958 search results - page 659 / 792 » Dynamic Graph Algorithms with Applications |
136
click to vote
ASE
2005
15 years 2 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
150
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
136
click to vote
IMC
2009
ACM
15 years 8 months ago
2009
ACM
Online Social Networks (OSNs) have already attracted more than half a billion users. However, our understanding of which OSN features attract and keep the attention of these users...
104
Voted
ECCB
2002
IEEE
15 years 7 months ago
2002
IEEE
The dynamics of ligand-protein interactions are necessary to understand for the design of novel therapeutic agents. In this paper, we establish the use of Stochastic Roadmap Simul...
139
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...