4166 search results - page 788 / 834 » Automating the constraining process |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
95
Voted
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Web pages contain clutter (such as ads, unnecessary images and extraneous links) around the body of an article, which distracts a user from actual content. Extraction of "use...
105
click to vote
WWW
2004
ACM
15 years 10 months ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...