15777 search results - page 652 / 3156 » The Reformulation-Optimization Software Engine |
164
Voted
ESSOS
2009
Springer
16 years 1 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 ...
148
click to vote
CODES
2005
IEEE
16 years 13 days ago
2005
IEEE
No two flight missions are alike, hence, development and on-orbit software costs are high. Software portability and adaptability across hardware platforms and operating systems ha...
137
click to vote
COMPSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
189
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...