463 search results - page 84 / 93 » Design and Evaluation of an Automated Aspect Mining Tool |
92
Voted
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
EUROMICRO
2003
IEEE
15 years 2 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
103
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...
SOUPS
2009
ACM
15 years 3 months ago
2009
ACM
Existing technologies for file sharing differ widely in the granularity of control they give users over who can access their data; achieving finer-grained control generally requ...