2317 search results - page 103 / 464 » Model based testing for agent systems |
145
Voted
UTP
2010
15 years 1 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
100
Voted
AAAI
2004
15 years 4 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
135
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
125
Voted
MS
2003
15 years 4 months ago
2003
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
111
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
When collaborating agents share sensitive information to achieve a common goal it would be helpful to them to decide whether doing so will lead to an unwanted release of confiden...