5775 search results - page 808 / 1155 » A Rationale-based Analysis Tool |
207
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
219
click to vote
IEE
2002
15 years 7 months ago
2002
Projects where developers are geographically distributed and with high personnel turnover are usually considered to be hard to manage. Any organisation that successfully handles s...
199
click to vote
CN
1998
15 years 7 months ago
1998
This paper focuses on the representation and access of Web-based information, and how to make such a representation adapt to the activities or interests of individuals within a co...
161
click to vote
IJON
2002
15 years 7 months ago
2002
We investigate the formation of ordered spatiotemporal activations of pools of neurons in synfire chains (SFC) within a balanced network, both by simulations and by analytic tools...
215
click to vote
JIIS
2002
15 years 7 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...