251 search results - page 2 / 51 » A Formal Approach to Test the Robustness of Embedded Systems... |
RTAS
2009
IEEE
14 years 15 hour ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
CONTEXT
2007
Springer
13 years 11 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
ICECCS
1997
IEEE
13 years 9 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
ICPR
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we propose a robust approach for recognition of text embedded in natural scenes. Instead of using binary information as most other OCR systems do, we extract featur...