2251 search results - page 311 / 451 » Specification and Implementation Problems for C |
117
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
158
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
142
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
- In the paper, we propose an efficient two-factor localized authentication scheme suitable for WLAN roaming. The proposed authentication scheme can greatly improve the security co...
136
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
158
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...