3688 search results - page 147 / 738 » Static analysis of aspects |
196
Voted
AB
2008
Springer
16 years 15 days ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
157
click to vote
SFM
2004
Springer
15 years 11 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
143
click to vote
ACL
2009
15 years 4 months ago
2009
Mapping and classification of chemical compound names are important aspects of the tasks of BioNLP. This paper introduces the architecture of a system for the syntactic and semant...
200
click to vote
SOSE
2008
IEEE
16 years 16 days ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
168
Voted
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...