2004 search results - page 393 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
119
click to vote
CIVR
2008
Springer
15 years 1 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
103
click to vote
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
125
click to vote
JCDL
2011
ACM
14 years 2 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
WSDM
2009
ACM
15 years 6 months ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...