1308 search results - page 155 / 262 » Application of Hazard Analysis to Software Quality Modelling |
122
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
163
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
151
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Modeling of metabolic networks includes tasks such as network assembly, network overview, calculation of metabolic fluxes and testing the robustness of the network. Re...
130
Voted
CPE
2003
Springer
15 years 9 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
144
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...