277 search results - page 48 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
WORDS
2003
IEEE
15 years 4 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
133
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
111
click to vote
IMC
2005
ACM
15 years 5 months ago
2005
ACM
In recent years, the standards community has developed techniques for traversing NAT/firewall boxes with UDP (that is, establishing UDP flows between hosts behind NATs). Because...
102
click to vote
TSE
2010
14 years 6 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...