12774 search results - page 367 / 2555 » A Framework for Proof Systems |
158
click to vote
BNCOD
2003
15 years 8 months ago
2003
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
187
Voted
JUCS
2008
15 years 6 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
166
click to vote
JNSM
2000
15 years 6 months ago
2000
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...
214
Voted
FGCS
2002
15 years 6 months ago
2002
High-performance computing increasingly occurs on "computational grids" composed of heterogeneous and geographically distributed systems of computers, networks, and stor...
152
click to vote
JUCS
2002
15 years 6 months ago
2002
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...