927 search results - page 105 / 186 » Practical Limits on Software Dependability: A Case Study |
164
click to vote
RTCSA
2008
IEEE
16 years 2 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
148
click to vote
HICSS
2007
IEEE
16 years 1 days ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
138
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
162
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
149
Voted
PROFES
2001
Springer
15 years 10 months ago
2001
Springer
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...