4313 search results - page 534 / 863 » Using time travel to diagnose computer problems |
237
click to vote
IEEEHPCS
2010
15 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
218
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
We investigate flow rate optimization on a wireless link with randomly varying channel gain using techniques from adaptive modulation and network utility maximization. We consider ...
215
click to vote
SASO
2010
IEEE
15 years 5 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
238
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We consider a class of learning problems regularized by a structured sparsity-inducing norm defined as the sum of 2- or ∞-norms over groups of variables. Whereas much effort ha...
193
click to vote
JAIR
2011
15 years 2 months ago
2011
Markovian processes have long been used to model stochastic environments. Reinforcement learning has emerged as a framework to solve sequential planning and decision-making proble...