3994 search results - page 552 / 799 » A Linear Logical Framework |
181
click to vote
CSSE
2002
IEEE
15 years 7 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
174
click to vote
JANCL
2000
15 years 7 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
207
click to vote
AIL
1999
15 years 7 months ago
1999
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...
184
click to vote
TPLP
2002
15 years 6 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
184
click to vote
JCS
2008
15 years 6 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...