3931 search results - page 499 / 787 » Separation logic and abstraction |
173
click to vote
CHES
2005
Springer
16 years 22 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...
177
click to vote
E4MAS
2005
Springer
16 years 21 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...
231
click to vote
RULEML
2005
Springer
16 years 20 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...
158
click to vote
SEMWEB
2005
Springer
16 years 20 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...
235
click to vote
ARGMAS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...