16859 search results - page 3148 / 3372 » Generative software development |
153
click to vote
NDSS
2007
IEEE
16 years 26 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
155
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
News reports are being produced and disseminated in overwhelming volume, making it difficult to keep up with the newest information. Most previous research in automatic news organ...
175
click to vote
MIDDLEWARE
2007
Springer
16 years 21 days ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...
183
click to vote
PPAM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
157
click to vote
ECBS
2006
IEEE
16 years 19 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...