1529 search results - page 85 / 306 » A Taxonomy of Software Component Models |
167
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
141
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
163
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
123
click to vote
WSC
1998
15 years 5 months ago
1998
The United States Department of Defense's High Level Architecture for Modeling and Simulation (HLA) provides a standardized interface for distributed simulations. The recent ...
139
click to vote
ENGL
2007
15 years 4 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...