127
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
Finding relevant information in a hyperspace has been a much studied problem for many years. With the emergence of so called Web 2.0 technologies we have seen the use of social sy...
106
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
Web sites must often service a wide variety of clients. Thus, it is inevitable that a web site will allow some visitors to find their information quickly while other visitors have...
112
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
Web pages can be modeled as nodes in a social network, and hyperlinks between pages form links (relationships) between the nodes. Links may take the form of comments, for example ...
143
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
In the modern Web, users are accessing their favourite Web applications from any place, at any time and with any device. In this setting, they expect the application to user-tailo...
140
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...