606 search results - page 53 / 122 » A Comparative Study of Industrial Static Analysis Tools |
122
click to vote
BMCBI
2008
15 years 21 days ago
2008
Background: Multiple sequence alignments are a fundamental tool for the comparative analysis of proteins and nucleic acids. However, large data sets are no longer manageable for v...
122
click to vote
GG
2008
Springer
15 years 1 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
109
Voted
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
IWPC
1996
IEEE
15 years 4 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
134
click to vote
CIKM
2011
Springer
14 years 16 days ago
2011
Springer
With hundreds of millions of participants, social media services have become commonplace. Unlike a traditional social network service, a microblogging network like Twitter is a hy...