90 search results - page 18 / 18 » An MDA Approach to Implement Personal IR Tools |
SIGSOFT
2009
ACM
14 years 2 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
VALUETOOLS
2006
ACM
13 years 11 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
AADEBUG
2005
Springer
13 years 10 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...