133 search results - page 17 / 27 » diagrams 2000 |
90
Voted
UML
2000
Springer
15 years 1 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
83
Voted
UAI
2000
14 years 11 months ago
2000
Sampling is an important tool for estimating large, complex sums and integrals over highdimensional spaces. For instance, importance sampling has been used as an alternative to ex...
75
Voted
EDO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
65
Voted
UML
2000
Springer
15 years 1 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
95
Voted
FMSD
2000
14 years 10 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...