12697 search results - page 2208 / 2540 » Call for Papers |
147
Voted
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
129
click to vote
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Writing shared-memory parallel programs is error-prone. Among the concurrency errors that programmers often face are atomicity violations, which are especially challenging. They h...
147
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
142
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...
154
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...