184 search results - page 15 / 37 » FROST: Revisited and Distributed |
CONCUR
2001
Springer
14 years 1 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
ECIR
2011
Springer
12 years 11 months ago
2011
Springer
Recently, mean-variance analysis has been proposed as a novel paradigm to model document ranking in Information Retrieval. The main merit of this approach is that it diversifies t...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
The issue of router buffer sizing is still open and significant. Previous work either considers open-loop traffic or only analyzes persistent TCP flows. This paper differs in two ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Computational color constancy is the task of estimating the true reflectances of visible surfaces in an image. In this paper we follow a line of research that assumes uniform illu...