30267 search results - page 5931 / 6054 » Process Modelling Languages |
113
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
117
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
117
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
119
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...
117
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...