283 search results - page 22 / 57 » Software Inspections We Can Trust |
WCET
2008
14 years 11 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
117
click to vote
TRUSTBUS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
ETS
2010
IEEE
14 years 10 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
SOCO
2009
Springer
15 years 4 months ago
2009
Springer
The REST architectural style is emerging as an alternative technology platform for the realization of service-oriented architectures. In this paper, we apply the notion of composit...