3973 search results - page 257 / 795 » Records for Logic Programming |
280
Voted
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
167
Voted
DALT
2005
Springer
15 years 10 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
148
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
261
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
166
Voted
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...