2255 search results - page 130 / 451 » High Assurance Software Systems |
ROBIO
2006
IEEE
14 years 4 months ago
2006
IEEE
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
PST
2008
13 years 11 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
IASSE
2004
13 years 11 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
CE
2008
13 years 8 months ago
2008
This empirical paper shows how free/libre open source software (FLOSS) contributes to mutual and collaborative learning in an educational environment. Unlike proprietary software,...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...