880 search results - page 167 / 176 » Model checking erlang programs: the functional approach |
154
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
137
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
174
Voted
IWAN
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
133
Voted
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
138
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...