3820 search results - page 498 / 764 » Bounded Model Debugging |
131
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
123
click to vote
WECWIS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
118
click to vote
FUN
2010
Springer
15 years 8 months ago
2010
Springer
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
109
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
128
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider a class of restless multi-armed bandit problems that arises in multi-channel opportunistic communications, where channels are modeled as independent and stochastically...