1638 search results - page 328 / 328 » Properties of input-consuming derivations |
MPC
2010
Springer
13 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
KDD
2009
ACM
13 years 9 months ago
2009
ACM
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
ISSRE
2000
IEEE
13 years 9 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...