219 search results - page 23 / 44 » Requirement error abstraction and classification: an empiric... |
131
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract—We consider a certain class of large random matrices, composed of independent column vectors with zero mean and different covariance matrices, and derive asymptotically ...
125
click to vote
JSAC
2010
14 years 6 months ago
2010
Abstract--Sensor networks can benefit greatly from locationawareness, since it allows information gathered by the sensors to be tied to their physical locations. Ultra-wide bandwid...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
106
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
ICNC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Small populations are very desirable for reducing the required computational resources in evolutionary optimization of complex real-world problems. Unfortunately, the sea...