4401 search results - page 620 / 881 » Computing with Default Logic |
140
click to vote
SARA
2007
Springer
15 years 11 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
134
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
151
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
119
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
150
click to vote
AHS
2006
IEEE
15 years 11 months ago
2006
IEEE
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...