2540 search results - page 264 / 508 » Abstract Logics as Dialgebras |
160
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
154
click to vote
CHES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
168
click to vote
E4MAS
2005
Springer
16 years 8 days ago
2005
Springer
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...
208
click to vote
RULEML
2005
Springer
16 years 6 days ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
136
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...