4962 search results - page 92 / 993 » Stochastic Model Checking |
MST
2010
13 years 3 months ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
GRID
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...
WSC
2004
13 years 10 months ago
2004
Response Surface Methodology (RSM) is an optimization tool that was introduced in the early 50