3028 search results - page 227 / 606 » Integrating Temporal Logics |
178
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
188
click to vote
ISLPED
2003
ACM
16 years 15 days ago
2003
ACM
The increasing prominence of portable systems and the need to limit power consumption and hence, heat dissipation in very high density VLSI chips have led to rapid and innovative ...
194
click to vote
CAISE
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
209
click to vote
CHES
2009
Springer
16 years 2 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
193
click to vote
FPL
2005
Springer
16 years 23 days ago
2005
Springer
In many industrial processes, an incorrect operation can lead to irreparable damage to people, equipment, or the environment. In order to reduce risks, the electronic control syst...