2255 search results - page 163 / 451 » High Assurance Software Systems |
189
click to vote
ICSE
2007
IEEE-ACM
16 years 17 days ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
216
click to vote
RSP
2005
IEEE
15 years 12 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
163
click to vote
CSREAESA
2007
15 years 7 months ago
2007
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...
162
click to vote
METRICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
312
click to vote
ISVC
2010
Springer
15 years 7 months ago
2010
Springer
Stereo and 3D reconstruction are used by many applications such as object modeling, facial expression studies and human motion analysis. But synchronizing multiple high frame rate ...