329 search results - page 23 / 66 » Applying adaptive test cases to nondeterministic implementat... |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— New technologies and processes enhance the need for direct human-robot-interaction, to fully exploit the potential of robots’ accuracy and humans’ adaptability. Therefore, ...
FORMATS
2009
Springer
13 years 11 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
ENTCS
2008
13 years 7 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Blocking artifacts are a major degradation affecting blockbased video compression. In this paper an adaptively based filter is proposed, whereby the type of filtering to be applie...