2132 search results - page 237 / 427 » Automated software winnowing |
112
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
165
click to vote
ISPW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...
161
click to vote
SCAM
2005
IEEE
15 years 11 months ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
129
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
153
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...