Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

By: Gilles Barthe (Editor), Benjamin Gregoire (Editor), Marieke Huisman (Editor)

Write A Review

Paperback | 18 April 2006

At a Glance

Paperback
192 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computing & I.T.Computer Networking & Communications Computer Science Systems Analysis & Design Computer Programming & Software Development Programming & Scripting Languages Operating Systems

Software Engineering Artificial Intelligence Expert Systems & Knowledge-Based Systems Accounting & Finance Finance Banking Computer Architecture & Logic Design

The architecture of a privacy-aware access control decision component	p. 1
Mobile resource guarantees and policies	p. 16
Information flow analysis for a typed assembly language with polymorphic stacks	p. 37
Romization : early deployment and customization of Java systems for constrained devices	p. 57
Typed compilation against non-manifest base classes	p. 77
The design of application-tailorable operating system product lines	p. 99
Bringing ease and adaptability to MPSoC software design : a component-based approach	p. 118
Modular proof principles for parameterised concretizations	p. 138
Formalisation and verification of the GlobalPlatform card specification using the B method	p. 155
Table of Contents provided by Blackwell. All Rights Reserved.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Generative Artificial Intelligence

Technology and Applications

Software Architecture with C++ - Second Edition

Designing robust C++ systems with modern architectural practices

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

DAMA-DMBOK

Data Management Body of Knowledge

Rust Atomics and Locks

Low-Level Concurrency in Practice

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Business Driven Information Systems ISE

9th Edition

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Fundamentals of Software Engineering

From Coder to Engineer

UX For Beginners

A Crash Course in 100 Short Lessons

Data Mesh

Delivering Data-Driven Value at Scale

Kubernetes - Up and Running

Dive into the Future of Infrastructure

This product is categorised by