| | |  | Software Engineering | Home » » » Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) | | | | | | | Product Promotions: | | | | | Description: | | This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices. | | | Product Details: | | | Paperback:
| 184 pages | | Publisher:
| Springer | | Publication Date:
| May 22, 2006 | | Language:
| English | | ISBN:
| 3540336893 | | Product Length:
| 9.1 inches | | Product Width:
| 6.1 inches | | Product Height:
| 0.4 inches | | Product Weight:
| 0.61 pounds | | Package Length:
| 9.0 inches | | Package Width:
| 6.1 inches | | Package Height:
| 0.5 inches | | Package Weight:
| 0.6 pounds |
| | | | Customer Reviews: | |
Average Customer Review:
 ( 0 customer reviews )
Write an online review and share your thoughts with other customers.
| | |
|
