102 search results - page 9 / 21 » Automated Dependability Analysis of UML Designs |
84
Voted
AIPS
2007
15 years 2 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
100
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
132
Voted
PRDC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
107
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
GIS
1999
ACM
15 years 4 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...