854 search results - page 65 / 171 » Addressing Dynamic Issues of Program Model Checking |
138
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
146
click to vote
PDPTA
2003
15 years 3 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
119
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Gene expression programs depend on recognition of cis elements in promoter region of target genes by transcription factors (TFs), but how TFs regulate gene expression ...
111
click to vote
WSC
2004
15 years 3 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
126
click to vote
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...