3799 search results - page 650 / 760 » An Engineering Approach to Formal Methods |
144
Voted
AIRWEB
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach for detecting link spam common in blog comments by comparing the language models used in the blog post, the comment, and pages linked by the comments. In co...
132
Voted
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
123
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Efficient and informative visualization of surfaces with uncertainties is an important topic with many applications in science and engineering. Examples include environmental pol...
116
click to vote
ESEM
2009
ACM
15 years 9 months ago
2009
ACM
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
127
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Maximizing passengers comfort is an important research topic in the domain of automotive systems engineering. In particular, an automatic adjustment of seat position according to d...