5477 search results - page 79 / 1096 » Contexts, Domains, and Software |
160
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architectural frameworks have shown to increase the design reusability in large-scale object-oriented systems. Drawing on experience in complex software systems development in tel...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
157
click to vote
ICDAR
2007
IEEE
16 years 19 days ago
2007
IEEE
Modern optical character recognition software relies on human interaction to correct misrecognized characters. Even though the software often reliably identifies low-confidence ...
184
click to vote
ICSEA
2007
IEEE
16 years 19 days ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
144
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...