2796 search results - page 13 / 560 » A time structure based software reliability model |
DATE
2010
IEEE
14 years 23 days ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
BMCBI
2006
13 years 7 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
INFOCOM
1996
IEEE
13 years 12 months ago
1996
IEEE
This paper analytically studies retransmission-based partially reliable transport service. Results show that partially reliable transport service provides increasingly higher thro...
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...