15644 search results - page 41 / 3129 » Brittle System Analysis |
SPLC
2008
15 years 3 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...
133
click to vote
DBSEC
2009
15 years 3 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
136
Voted
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
98
Voted
ISCAS
1999
IEEE
15 years 6 months ago
1999
IEEE
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...
93
Voted
CHARME
1993
Springer
15 years 6 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...