2570 search results - page 366 / 514 » Reliability Modeling Using UML |
123
click to vote
ASPDAC
1998
ACM
15 years 7 months ago
1998
ACM
This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...
145
click to vote
METRICS
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper describes the results of a study where the impact of Object-Oriented design on software quality characteristics is experimentally evaluated. A suite of metrics for OO d...
114
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...
137
click to vote
ETRICS
2006
15 years 6 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
102
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...