1902 search results - page 91 / 381 » Differential Dynamic Logics |
154
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper; we present a noise-immune highperformance static circuit family suitable for low-voltage operation called skewed logic. Skewed logic circuits, in comparison with Do...
134
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
164
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
172
click to vote
FDTC
2008
Springer
15 years 7 months ago
2008
Springer
Differential Fault Analysis (DFA) is a real threat for elliptic curve cryptosystems. This paper describes an elliptic curve cryptoprocessor unit resistant against fault injection....
162
click to vote
TIME
2009
IEEE
16 years 6 days ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...