2317 search results - page 85 / 464 » Model based testing for agent systems |
144
click to vote
CMSB
2004
Springer
15 years 8 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
139
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
114
click to vote
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
129
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
116
click to vote
ICWL
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...