4386 search results - page 540 / 878 » A Tamper-Resistant Programming Language System |
177
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
143
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in effective active ageing support is to identify/design new organizational structures, approaches, and mechanisms so that on one hand older people do not feel ex...
143
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Feature interactions in the original sense of the term (i.e. within a telecommunications domain), have now been the subject of significant research activity for over ten years. Thi...
181
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
174
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...