1346 search results - page 47 / 270 » Alternating-time dynamic logic |
160
click to vote
ENTCS
2006
14 years 12 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
133
click to vote
SBCCI
2003
ACM
15 years 5 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
An improved design of a dynamic Flip-Flop is presented. Proposed design overcomes the problem of the glitch at the output and improves Power-Delay Product for about 10%, while pre...
107
click to vote
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...