334 search results - page 49 / 67 » Standardization in action |
130
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
128
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
137
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
181
click to vote
DALT
2005
Springer
15 years 10 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
147
click to vote
FATES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...