733 search results - page 16 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
103
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
199
Voted
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
SRDS
2000
IEEE
15 years 6 months ago
2000
IEEE
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...
124
click to vote
AGP
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
118
click to vote
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...