2523 search results - page 366 / 505 » Correct Development of Embedded Systems |
CSFW
2004
IEEE
14 years 29 days ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
DASC
2006
IEEE
14 years 27 days ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
FPGA
2006
ACM
14 years 26 days ago
2006
ACM
In this paper, we develop an architecture for principal component analysis (PCA) to be used as an outlier detection method for high-speed network intrusion detection systems (NIDS...
BIS
2008
13 years 10 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
FORTE
2010
13 years 10 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...