3456 search results - page 346 / 692 » Byte Code Engineering |
135
click to vote
ESSOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Software vendors are increasingly concerned about mitigating the security risk of their software. Code quality improvement is a traditional approach to mitigate security ...
120
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
147
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
140
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
136
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...