4719 search results - page 544 / 944 » Spreadsheet functional programming |
134
click to vote
IJCAI
1989
15 years 6 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
112
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...
125
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...
121
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...
134
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...