2687 search results - page 455 / 538 » Formal Analysis of PKCS |
181
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
153
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
139
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
156
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
143
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...