6348 search results - page 1148 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
147
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
134
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...
142
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
157
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
142
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...