2419 search results - page 234 / 484 » A Formal Approach to Software Testing |
169
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Despite ubiquitous claims that optical character recognition (OCR) is a "solved problem," many categories of documents continue to break modern OCR software such as docu...
178
click to vote
IOLTS
2007
IEEE
16 years 24 days ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
172
click to vote
CONTEXT
2007
Springer
16 years 20 days 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...
142
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
140
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...