3801 search results - page 377 / 761 » An Approach to Modeling Software Safety |
181
click to vote
SCAM
2006
IEEE
16 years 23 days ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
169
click to vote
LAWEB
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...
187
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
159
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
— A key step in many statistical learning methods used in machine learning involves solving a convex optimization problem containing one or more hyper-parameters that must be sel...
190
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...