7 search results - page 1 / 2 » Model Based Testing and Abstract Interpretation in the Railw... |
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
IFIP
2009
Springer
13 years 11 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 2 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
12 years 11 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 1 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...