5241 search results - page 903 / 1049 » Embedded Programming with C |
113
Voted
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
104
Voted
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
108
Voted
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
81
Voted
BIBE
2008
IEEE
15 years 8 months ago
2008
IEEE
—The Mouse Resource Browser MRB (http://bioit.fleming.gr/mrb) is an easy-to-use database for searching and retrieving mouse resource information. Currently, MRB hosts a list of 2...
104
Voted
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...