1005 search results - page 9 / 201 » Software Localization: Issues and Methods |
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
NCA
2007
IEEE
13 years 7 months ago
2007
IEEE
Learning from imbalanced data occurs frequently in many machine learning applications. One positive example to thousands of negative instances is common in scientific applications...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
COCONUT calibrates effort estimation models using an exhaustive search over the space of calibration parameters in a COCOMO I model. This technique is much simpler than other effo...
ICDCS
2000
IEEE
13 years 12 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...