205 search results - page 23 / 41 » HESAS: HERVs Expression and Structure Analysis System |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
People use weblogs to express thoughts, present ideas and share knowledge. However, weblogs can also be misused to influence and manipulate the readers. Therefore the credibility ...
JSS
2010
14 years 8 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper investigates the application of the Generalized Likelihood Ratio Test detector to the Global Navigation Satellite System array-based acquisition problem. We consider an...