Sciweavers

32117 search results - page 159 / 6424
» Design for Unanticipated Use..
Sort
View
CSSE
2008
IEEE
16 years 27 days ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...