751 search results - page 1 / 151 » Ur Web: A Simple Model for Programming the Web |
PLDI
2010
ACM
14 years 8 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...
ESOP
2003
Springer
14 years 4 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
WIKIS
2009
ACM
14 years 5 months ago
2009
ACM
This paper shows the experiences of a law firm with adopting Wiki Webs for knowledge management and collaboration over the last two years. Wikis created a business advantage for t...
ICCCN
2007
IEEE
14 years 5 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
IADIS
2003
14 years 6 days ago
2003
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...