2232 search results - page 69 / 447 » Formal Modeling and Analysis of Organizations |
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
ANSS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
158
click to vote
ASIASIM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...