1078 search results - page 116 / 216 » Modelling and Verifying of e-Commerce Systems |
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
158
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
235
click to vote
ASE
2011
14 years 11 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
134
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
In this paper, we present a high-level power modeling technique to estimate the power consumption of reconfigurable devices such as complex programmable logic devices (CPLDs) and ...