2419 search results - page 234 / 484 » A Formal Approach to Software Testing |
137
Voted
ICDAR
2009
IEEE
15 years 1 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...
139
Voted
IOLTS
2007
IEEE
15 years 10 months 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...
123
Voted
CONTEXT
2007
Springer
15 years 10 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...
110
click to vote
COMPSAC
1996
IEEE
15 years 8 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, ...
117
click to vote
IFM
2009
Springer
15 years 10 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...