1129 search results - page 212 / 226 » Formal Verification of Websites |
136
click to vote
PROVSEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
105
click to vote
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
120
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
133
click to vote
ENTCS
2010
14 years 11 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
118
click to vote
CAP
2010
14 years 8 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...