203 search results - page 18 / 41 » The Good, the Bad, and the Ugly |
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
113
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
100
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
107
click to vote
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...