1604 search results - page 210 / 321 » Development Separation in Lambda-Calculus |
202
click to vote
NPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
108
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
80
Voted
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
107
Voted
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
STEP
2003
IEEE
15 years 5 months ago
2003
IEEE
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...