1573 search results - page 174 / 315 » Signs and Formal Concepts |
115
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
131
Voted
MIDDLEWARE
2000
Springer
2000
Springer
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
15 years 5 months ago
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...
143
click to vote
LPNMR
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
118
click to vote
KR
1991
Springer
15 years 5 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
118
click to vote
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...