217 search results - page 2 / 44 » What's really new on the web |
ICWE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Modern Web applications are full-fledged, complex software systems. Therefore, the development of Web applications requires a methodologically sound engineering approach ...
TPHOL
2007
IEEE
13 years 11 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
We seek to gain improved insight into how Web search engines should cope with the evolving Web, in an attempt to provide users with the most up-to-date results possible. For this ...
ASSETS
2008
ACM
13 years 7 months ago
2008
ACM
Web applications facilitated by technologies such as JavaScript, DHTML, AJAX, and Flash use a considerable amount of dynamic web content that is either inaccessible or unusable by...
W4A
2005
ACM
13 years 11 months ago
2005
ACM
Awareness of Web accessibility is spreading all over the world among Web designers and developers, due to regulations such as the US law called Section 508 and guidelines like the...