Skip to Main Content
E-Commerce, E-Business and E-Service
book

E-Commerce, E-Business and E-Service

by Garry Lee
July 2014
Intermediate to advanced content levelIntermediate to advanced
260 pages
12h 30m
English
CRC Press
Content preview from E-Commerce, E-Business and E-Service
177
E-Commerce, E-Business and E-Service – Lee (Ed)
© 2014 Taylor & Francis Group, London, ISBN 978-1-138-02646-9
Model checking and analysis of systems dependent on CPU speed
Takahisa Mizuno & Shin-Ya Nishizaki
Department of Computer Science, Tokyo Institute of Technology, Tokyo, Japan
ABSTRACT: System behavior is strongly related to the CPU’s execution speed in the situation where
you have very limited computational resources. Such a situation is difficult to analyze exhaustively. Model
checking is one of the automated verification techniques for concurrent systems, and is widely applied
not only in academic research but also in industrial practica ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

E-Commerce and V-Business

E-Commerce and V-Business

Stuart Barnes, Brian Hunt
Building eCommerce Applications

Building eCommerce Applications

Developers from DevZone
The E-Commerce Book, 2nd Edition

The E-Commerce Book, 2nd Edition

Steffano Korper, Juanita Ellis

Publisher Resources

ISBN: 9781138026469