7 search results - page 1 / 2 » Model Based Testing and Abstract Interpretation in the Railw... |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
ICAI
2009
13 years 7 months ago
2009
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...
TSP
2010
13 years 4 months ago
2010
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...