1496 search results - page 271 / 300 » Improving the Modeling of Use Case Relationship |
141
click to vote
SIGMOD
1998
ACM
15 years 9 months ago
1998
ACM
For an increasing number of modern database applications, efficient support of similarity search becomes an important task. Along with the complexity of the objects such as images...
153
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
There is currently a strong focus worldwide on the potential of large-scale Electronic Health Record systems to cut costs and improve patient outcomes through increased efficiency....
135
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
126
click to vote
CANDT
2009
15 years 8 months ago
2009
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
149
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...