5343 search results - page 353 / 1069 » Keyword programming in java |
132
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
108
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we discuss a prototype application deployed at the U.S. National Science Foundation for assisting program directors in identifying reviewers for proposals. The appl...
118
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we consider how the relationship between content providers and content consumers is modified by configuration (especially in the case of end-user programming) and b...
140
click to vote
PLPV
2010
ACM
16 years 20 days ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
166
click to vote
PLPV
2009
ACM
16 years 20 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...