20511 search results - page 282 / 4103 » On the level |
145
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Slice-based metrics for cohesion have been defined and examined for years. However, if a module with low cohesion has been identified, the metrics cannot help the maintainer to ...
213
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
179
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
