8874 search results - page 1612 / 1775 » A New Implementation of Automath |
144
click to vote
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
187
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...
194
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
Semantic integration in the hidden Web is an emerging area of research where traditional assumptions do not always hold. Frequent changes, conflicts and the sheer size of the hid...
151
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
150
Voted
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...