161 search results - page 6 / 33 » Towards a Quantitative, Platform-Independent Analysis of Kno... |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
BMCBI
2007
14 years 9 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
104
click to vote
WSPI
2004
14 years 10 months ago
2004
Knowledge management systems (KMS) are increasingly becoming popular and important in managing organizational knowledge. This motivates a closer inspection of the degree of usabili...
101
Voted
SEKE
1993
Springer
15 years 1 months ago
1993
Springer
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...