3801 search results - page 131 / 761 » An Approach to Modeling Software Safety |
109
click to vote
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
135
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
130
Voted
QSIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
137
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
159
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...