581 search results - page 32 / 117 » WebL - A Programming Language for the Web |
113
click to vote
PLDI
2010
ACM
15 years 11 months 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...
107
click to vote
UM
2001
Springer
15 years 6 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...
116
click to vote
UM
2010
Springer
14 years 11 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 ...
116
click to vote
WWW
2006
ACM
16 years 2 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...
109
click to vote
VL
2008
IEEE
15 years 8 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...