4196 search results - page 397 / 840 » Supporting the development of network programs |
190
click to vote
WIESS
2000
15 years 6 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
128
Voted
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
131
Voted
IEE
2008
15 years 5 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
150
Voted
IFIP
2010
Springer
15 years 3 months ago
2010
Springer
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
129
click to vote
UM
2010
Springer
15 years 3 months ago
2010
Springer
Recommender systems, as a type of Web personalized service to support users’ online product searching, have been widely developed in recent years but with primary emphasis on alg...