111 search results - page 5 / 23 » Source Code Composition with the Reuseware Composition Frame... |
IWPC
2006
IEEE
15 years 3 months ago
2006
IEEE
One of the important activities in re-engineering process is detecting design flaws. Such design flaws prevent an efficient maintenance, and further development of a system. Th...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
A unified framework to obtain all known lower bounds (random coding, typical random coding and expurgated bound) on the reliability function of a point-to-point discrete memoryles...
89
Voted
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
—Demand for bus surveillance is growing due to the increased threats of terrorist attack, vandalism and litigation. However, CCTV systems are traditionally used in forensic mode,...
ENTCS
2007
14 years 9 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
179
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...