3424 search results - page 547 / 685 » Automated Testing of Classes |
147
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
118
Voted
ICDE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
117
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
125
Voted
AMS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such...
127
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...