1902 search results - page 82 / 381 » Differential Dynamic Logics |
189
click to vote
SBCCI
2003
ACM
15 years 10 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
16 years 2 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...
165
click to vote
HICSS
2005
IEEE
15 years 11 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...
135
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
170
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...