4078 search results - page 526 / 816 » Automatic rate adaptation |
187
click to vote
IJISEC
2006
15 years 7 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...
169
click to vote
ENTCS
2007
15 years 7 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...
198
click to vote
IEE
2007
15 years 7 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
222
click to vote
TMI
2008
15 years 7 months ago
2008
In this article, we propose an automatic method to detect microaneurysms in retina photographs. Microaneurysms are the most frequent and usually the first lesions to appear as a co...
189
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...