1523 search results - page 142 / 305 » Partially ordered secretaries |
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— An increasing number of hardware failures can be attributed to device reliability problems that cause partial system failure or shutdown. In this paper we propose a scheme for ...
113
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...
125
Voted
IDEAS
2007
IEEE
15 years 7 months ago
2007
IEEE
A sliding window join (SWJoin) is becoming an integral operation in every stream data management system. In some streaming applications the increasing volume of streamed data as w...
96
Voted
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
93
Voted
IFM
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...