We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited ...
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for re- source limited distributed ...
One objective of this approach is to enable system designers to analyze designs in order to study design tradeoffs and predict the possible property violations ...
A novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems ...
The integration of formal analysis with dynamic behavior from system execution results in a feedback loop that enables model refinement and further optimization ...
... A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007 ...
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems. M Kim, MO Stehr, C Talcott, N Dutt, N Venkatasubramanian.
... A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007 ...
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed ...
Formal Methods for Open Object-Based Distributed Systems ...
dl.ifip.org › conf › fmoods › fmoods2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott ...