133 search results - page 17 / 27 » diagrams 2000 |
UML
2000
Springer
13 years 11 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...
UAI
2000
13 years 9 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...
EDO
2000
Springer
13 years 11 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...
UML
2000
Springer
13 years 11 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...
FMSD
2000
13 years 7 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...