0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Property-preserving Petri Net Process Algebra In Software Engineering (Hardcover): Hejiao Huang, Li Jiao, To-yat Cheung,... Property-preserving Petri Net Process Algebra In Software Engineering (Hardcover)
Hejiao Huang, Li Jiao, To-yat Cheung, Michael Wai Ming Mak
R3,098 Discovery Miles 30 980 Ships in 12 - 17 working days

In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct - possessing the desirable properties and free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification, involving a tremendous amount of effort.This book presents a component -based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). PPPA includes five classes of operators, and the authors show that every operator of PPPA can preserve a large number of basic system properties. Therefore, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need for further verification - thus greatly saving verification efforts.

Channel Aggregation and Fragmentation for Traffic Flows (Paperback, 1st ed. 2020): Lei Jiao Channel Aggregation and Fragmentation for Traffic Flows (Paperback, 1st ed. 2020)
Lei Jiao
R1,580 Discovery Miles 15 800 Ships in 10 - 15 working days

This book introduces the impact of channel aggregation (CA) and channel fragmentation (CF) on traffic flows, through analytical models, computer simulations, and test-bed implementations. Its content includes the concept of CA and CF, the basic concept and calculation of Markov chains (MCs), the modeling process of the CA and CF enabled system via MCs, the process of simulations, and a test-bed study based on a software defined radio. This book can serve as a study guide for advanced-level students, who are interested in studying the impact of CA and CF techniques on traffic flows. This book would also interest communication engineers, who would like to learn MC modeling for performance evaluations, as it includes a step-by-step guidance for the modeling process via MCs, as well as its simulation approaches.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot
Nadine Gordimer Paperback  (2)
R398 R330 Discovery Miles 3 300
Bug-A-Salt 3.0 Black Fly
 (1)
R999 Discovery Miles 9 990
Hermione Granger Wizard Wand - In…
 (1)
R834 Discovery Miles 8 340
Alcolin Cold Glue (125ml)
R46 Discovery Miles 460
Hart Easy Pour Kettle (1.5L)
R199 R168 Discovery Miles 1 680
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Strontium Technology AMMO USB 3.1 flash…
R70 R53 Discovery Miles 530
Gold Fresh Couture by Moschino EDP 100ml…
R920 Discovery Miles 9 200
Harry Potter Wizard Wand - In…
 (3)
R830 Discovery Miles 8 300
ZA Cute Butterfly Earrings and Necklace…
R712 R499 Discovery Miles 4 990

 

Partners