3765 search results - page 170 / 753 » Qualitative Action Systems |
132
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
135
click to vote
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
142
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
167
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
142
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...