7009 search results - page 1163 / 1402 » Patterns in Complex Systems Modeling |
186
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
168
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
170
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
251
click to vote
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
177
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...