6167 search results - page 1183 / 1234 » Can Refinement be Automated |
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
ASWEC
2006
IEEE
14 years 4 months ago
2006
IEEE
An SQL injection attack targets interactive web applications that employ database services. These applications accept user inputs and use them to form SQL statements at runtime. D...
AVSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...
CIBCB
2006
IEEE
14 years 4 months ago
2006
IEEE
— Successful biological image analysis usually requires satisfactory segmentations to identify regions of interest as an intermediate step. Here we present a novel graphical mode...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Memory and communication architectures have a significant impact on the cost, performance, and time-to-market of complex multi-processor system-on-chip (MPSoC) designs. The memory...