674 search results - page 110 / 135 » From Constructibility and Absoluteness to Computability and ... |
127
click to vote
IPL
2006
15 years 1 months ago
2006
The strongest well-known measure for the quality of a universal hash-function family H is its being -strongly universal, which measures, for randomly chosen h H, one's inabi...
123
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
137
click to vote
CG
2007
Springer
15 years 1 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
149
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
To observe, analyze and control large scale distributed systems and the applications hosted on them, there is an increasing need to continuously monitor performance attributes of ...