2673 search results - page 471 / 535 » Guided Static Analysis |
135
click to vote
VIROLOGY
2008
15 years 3 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
156
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
143
click to vote
EWC
2010
15 years 2 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
130
click to vote
IVC
2010
15 years 2 months ago
2010
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness, meeting analysis and human-robot...
142
click to vote
MIDDLEWARE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...