2573 search results - page 421 / 515 » Combinations of Modal Logics |
223
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
238
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
114
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
State elements are increasingly vulnerable to soft errors due to their decreasing size, and the fact that latched errors cannot be completely eliminated by electrical or timing ma...
121
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Power gating is emerging as a viable solution to reduction of leakage current. However, power gated circuits are different from the conventional designs in the sense that a power-...
119
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...