4919 search results - page 837 / 984 » A Process-Ontological Model for Software Engineering |
IOLTS
2005
IEEE
15 years 3 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
127
click to vote
HYBRID
2010
Springer
15 years 2 days ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...