6800 search results - page 880 / 1360 » Testing with Functions as Specifications |
149
click to vote
JCP
2008
15 years 6 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
162
click to vote
JEA
2008
15 years 6 months ago
2008
Linear ordering problems are combinatorial optimization problems which deal with the minimization of different functionals in which the graph vertices are mapped onto (1, 2, ..., ...
175
click to vote
JSS
2008
15 years 6 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
193
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper considers the sensor network localization problem using signal strength. Unlike range-based methods signal strength information is stored in a kernel matrix. L...
186
click to vote
NAR
2006
15 years 6 months ago
2006
The FISH server is highly accurate in identifying the family membership of domains in a query protein sequence, even in the case of very low sequence identities to known homologue...