3005 search results - page 153 / 601 » Logical Information Systems: from Taxonomies to Logics |
179
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
Media recovery protects a database from failures of the stable medium by maintaining an extra copy of the database, called the backup, and a media recovery log. When a failure occ...
190
click to vote
KI
1990
Springer
15 years 10 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
152
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
181
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
146
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...