60 search results - page 8 / 12 » Formal Modelling of Separation Kernel Components |
RSFDGRC
2005
Springer
14 years 28 days ago
2005
Springer
In this paper, we propose a new intrusion detection model, which keeps advantages of existing misuse detection model and anomaly detection model and resolves their problems. This ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...
ACSD
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
ECAI
2004
Springer
14 years 25 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...