1414 search results - page 184 / 283 » Automated Metamorphic Testing |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
WIAMIS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
VAMOS
2009
Springer
14 years 2 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
BDIM
2008
IEEE
14 years 2 months ago
2008
IEEE
—The timely and efficient management of faults that affect the quality of services delivered to customers is an important issue for service providers with respect to their busin...