4592 search results - page 277 / 919 » Framework for Studying Substitution |
190
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
194
click to vote
SSD
1999
Springer
15 years 11 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
162
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
185
Voted
ESAW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
201
Voted
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Conceptual modeling is an important tool for understanding and revealing weaknesses of business processes. Yet, the current practice in reengineering projects often considers simpl...