4401 search results - page 351 / 881 » Computing with Default Logic |
167
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
150
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
167
Voted
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
217
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
187
click to vote
ECP
1997
Springer
15 years 11 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...