624 search results - page 50 / 125 » Application of Lightweight Formal Methods to Software Securi... |
137
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
133
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
108
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
137
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
150
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...