1414 search results - page 209 / 283 » Combining Intruder Theories |
116
click to vote
TRECVID
2007
15 years 1 months ago
2007
In this paper we describe our experiments for the high level features extraction task of TRECVid 2007. Our approach is different than previous submissions in that we have impleme...
103
click to vote
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the ...
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
BIRTHDAY
2010
Springer
15 years 29 days ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
102
click to vote
CIIA
2009
15 years 29 days ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...