2570 search results - page 271 / 514 » Reliability Modeling Using UML |
127
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
136
Voted
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
153
Voted
ISCAPDCS
2001
15 years 5 months ago
2001
Reliable communication in injured hypercubes with faulty links/nodes using directed safety levels is studied in this paper. In this approach, each node u in an n-dimensional hyper...
127
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
180
click to vote
ECOOP
2010
Springer
15 years 7 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...