581 search results - page 32 / 117 » WebL - A Programming Language for the Web |
132
Voted
PLDI
2010
ACM
16 years 27 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
119
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
129
Voted
UM
2010
Springer
15 years 1 months ago
2010
Springer
While browsing the Web, providing profile information in social networking services, or tagging pictures, users leave a plethora of traces. In this paper, we analyze the nature of ...
129
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
120
Voted
VL
2008
IEEE
15 years 10 months ago
2008
IEEE
Software visualization has always been expensive, special purpose, and hard to program. Most of the existing software visualization tools require too much time for enduser develop...