4693 search results - page 789 / 939 » Verifying Hybrid Systems |
WWW
2005
ACM
16 years 1 months ago
2005
ACM
This work aims a two-fold contribution: it presents a software to analyse logfiles and visualize popular web hot spots and, additionally, presents an algorithm to use this informa...
103
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Web search engines help users find useful information on the World Wide Web (WWW). However, when the same query is submitted by different users, typical search engines return the ...
107
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
98
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
199
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...