9067 search results - page 1524 / 1814 » Adaptive Model Checking |
208
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Name ambiguity problem has been a challenging issue for a long history. In this paper, we intend to make a thorough investigation of the whole problem. Specifically, we formalize ...
171
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
The Web Services world consists of loosely-coupled distributed systems which adapt to ad-hoc changes by the use of service descriptions that enable opportunistic service discovery...
174
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
196
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
194
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper introduces WebQuests as potential teaching tools for HCI and software design educators. Based on our daylong observations of a high-school class, we believe that WebQue...