51 search results - page 11 / 11 » Verifying Statecharts with State Invariants |
159
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...