You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications. In Part I the authors introduce elementary net synthesis. In Part II they explain variations of...
This book includes extended and revised versions of a set of selected papers from the 2012 International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012) which was sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and held in Rome, Italy. SIMULTECH 2012 was technically co-sponsored by the Society for Modeling & Simulation International (SCS), GDR I3, Lionphant Simulation, Simulation Team and IFIP and held in cooperation with AIS Special Interest Group of Modeling and Simulation (AIS SIGMAS) and the Movimento Italiano Modellazione e Simulazione (MIMOS).
Cloud Services, Networking and Management provides a comprehensive overview of the cloud infrastructure and services, as well as their underlying management mechanisms, including data center virtualization and networking, cloud security and reliability, big data analytics, scientific and commercial applications. Special features of the book include: State-of-the-art content Self-contained chapters for readers with specific interests Includes commercial applications on Cloud (video services and games)
"This pamphlet is intended to assist U.S. companies that wish to do business with NATO and other allies with whom the United States has signed reciprocal procurement Memoranda of Understanding (MOU). Part I provides general information that U.S. firms should know in order to export defense products and services successfully. It explains international agreements that are the cornerstone of the reciprocal defense procurement relationship with our allies. It also explains the roles of the Offices of Defense Cooperation and the Offices of the Foreign Commercial Service at U.S. embassies overseas. Part II provides country-specific information, including points of contact, in a standardized format. It will assist you in getting started and help you with basic procurement procedures and requirements"--Preface.
The German Navy, both before the War and throughout the years of fighting, was heavily outnumbered by the navies of Great Britain and the United States; nonetheless, it proved to be serious thorn in the sides of its adversaries. The U-boat war in the North Atlantic threatened the very liberation of Europe, while the major warships posed a constant threat to the Allied shipping lanes. This important reference book is an indispensable guide to the ships, organisation, command and rank structure, and leaders of the Kriegsmarine, and helps explain why it was such a potent force. A detailed text, augmented by photos, maps and diagrams, studies the German Navy from the Treaty of Versailles to the ...
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
The sacred forest is a concrete place with a rich symbolic meaning. For the Laimbwe ethnic group of the North West Region of Cameroon, it is the centre of the social life, around which the people organize their matrilineal system. Henry Kam Kah describes the origin, development and the changes in matriliny as a gender construction from an insider point of view. Using written material and interviews with 150 persons, he shows how the system overcame all the various challenges since the 18th century, especially the rejection of matriliny by the colonial powers and Christian missionaries. With this study, Henry Kam Kah calls into question different prejudices of a Eurocentric gender research which believes in the dominance of patriarchal structures and the decline of other gender systems under the impact of global influence and pressure. Henry Kam Kah is Senior Lecturer at the Department of History of the University of Buea (Cameroon).