|
Showing 1 - 25 of
108 matches in All Departments
Unlike some other reproductions of classic texts (1) We have not
used OCR(Optical Character Recognition), as this leads to bad
quality books with introduced typos. (2) In books where there are
images such as portraits, maps, sketches etc We have endeavoured to
keep the quality of these images, so they represent accurately the
original artefact. Although occasionally there may be certain
imperfections with these old texts, we feel they deserve to be made
available for future generations to enjoy.
Unlike some other reproductions of classic texts (1) We have not
used OCR(Optical Character Recognition), as this leads to bad
quality books with introduced typos. (2) In books where there are
images such as portraits, maps, sketches etc We have endeavoured to
keep the quality of these images, so they represent accurately the
original artefact. Although occasionally there may be certain
imperfections with these old texts, we feel they deserve to be made
available for future generations to enjoy.
Since the founding of the Communist Party in China just over a
century ago, there is much the country has achieved. But who does
the heavy lifting in China? And who walks away with the spoils?
Cadre Country places the spotlight on the nation's 40 million
cadres - the managers and government officials employed by the
ruling Communist Party to protect its great enterprise. This group
has captured the culture and wealth of China, excluding the voices
of the common citizens of this powerful and diverse country.
Award-winning historian John Fitzgerald focuses on the stories the
Communist Party tells about itself, exploring how China works as an
authoritarian state, and revealing Beijing's monumental propaganda
productions as a fragile edifice built on questionable assumptions.
Cadre Country is essential reading for anyone who wants to
understand the workings of the Chinese Communist Party and the
limits of its achievements.
This is the third volume in a series examining the political importance of China's provinces under reform. The present book provides a survey of provinces as echelons of the peoples Republic of China. It seeks to locate the province as an administrative level in the Chinese state, through an examination of history, economic, social and political developments of these units. By situating the province history, this volume identifies new developments in the territorial administration of the People's Republic over the reform era. It also charts the consequent emergence of the city as an intermediate unit, situated between the province and the country, and providing challenges to the hierarchy of the bureaucratic state. This book includes detailed analyses of Chongqing, Henan, Guangdong, Anhui, Yunnan and Heilongjiang. It contains extensively researched empirical data collected from these provinces, and user friendly maps of these regions. eBook available with sample pages: 0203166515
One of the most significant challenges in the development of
embedded and cyber-physical systems is the gap between the
disciplines of software and control engineering. In a marketplace,
where rapid innovation is essential, engineers from both
disciplines need to be able to explore system designs
collaboratively, allocating responsibilities to software and
physical elements, and analyzing trade-offs between them. To this
end, this book presents a framework that allows the very different
kinds of design models - discrete-event (DE) models of software and
continuous time (CT) models of the physical environment - to be
analyzed and simulated jointly, based on common scenarios. The
individual chapters provide introductions to both sides of this
co-simulation technology, and give a step-by-step guide to the
methodology for designing and analyzing co-models. They are grouped
into three parts: Part I introduces the technical basis for
collaborative modeling and simulation with the Crescendo
technology. Part II continues with different methodological
guidelines for creating co-models and analyzing them in different
ways using case studies. Part III then delves into more advanced
topics and looks into the potential future of this technology in
the area of cyber-physical systems. Finally various appendices
provide summaries of the VDM and 20-sim technologies, a number of
valuable design patterns applicable for co-models, and an acronym
list along with indices and references to other literature. By
combining descriptions of the underlying theory with records of
real engineers' experience in using the framework on a series of
case studies the book appeals to scientists and practitioners
alike. It is complemented by tools, examples, videos, and other
material on www.crescendotool.org. Scientists/researchers and
graduate students working in embedded and cyber-physical systems
will learn the semantic foundations for collaborative modeling and
simulation, as well as the current capabilities and limitations of
methods and tools in this field. Practitioners will be able to
develop an appreciation of the capabilities of the co-modeling
techniques, to assess the benefits of more collaborative approaches
to modeling and simulation, and will benefit from the included
guidelines and modeling patterns.
One of the most significant challenges in the development of
embedded and cyber-physical systems is the gap between the
disciplines of software and control engineering. In a marketplace,
where rapid innovation is essential, engineers from both
disciplines need to be able to explore system designs
collaboratively, allocating responsibilities to software and
physical elements, and analyzing trade-offs between them.
To this end, this book presents a framework that allows the very
different kinds of design models "discrete-event (DE) "models of
software and "continuous time (CT)" models of the physical
environment to be analyzed and simulated jointly, based on common
scenarios. The individual chapters provide introductions to both
sides of this co-simulation technology, and give a step-by-step
guide to the methodology for designing and analyzing co-models.
They are grouped into three parts: Part I introduces the technical
basis for collaborative modeling and simulation with the Crescendo
technology. Part II continues with different methodological
guidelines for creating co-models and analyzing them in different
ways using case studies. Part III then delves into more advanced
topics and looks into the potential future of this technology in
the area of cyber-physical systems. Finally various appendices
provide summaries of the VDM and 20-sim technologies, a number of
valuable design patterns applicable for co-models, and an acronym
list along with indices and references to other literature. By
combining descriptions of the underlying theory with records of
real engineers experience in using the framework on a series of
case studies the book appeals to scientists and practitioners
alike. It is complemented by tools, examples, videos, and other
material on www.crescendotool.org.Scientists/researchers and
graduate students working in embedded and cyber-physical systems
will learn the semantic foundations for collaborative modeling and
simulation, as well as the current capabilities and limitations of
methods and tools in this field. Practitioners will be able to
develop an appreciation of the capabilities of the co-modeling
techniques, to assess the benefits of more collaborative approaches
to modeling and simulation, and will benefit from the included
guidelines and modeling patterns."
This innovative work is the first to approach the awakening of
China as a historical problem in its own right, and to locate this
problem within the broader history of the rise of modern China. It
analyzes the link between the awakening of China as a historical
narrative and the awakening of the Chinese people as a political
technique for building a sovereign and independent state. In sum,
it asks what we mean when we say that China "woke up" in this
century. Fiction and fashion, architecture and autobiography, take
their places alongside politics and history, and the reader is
asked to move about among writers, philosophers, ethnographers,
revolutionaries, and soldiers who would seem to have little in
common. Rumor is sometimes taken as seriously as truth, novels are
consulted as frequently as documents, and dreams are given a
prominence normally reserved for facts in the writing of history.
This book follows the legend of China's awakening from its origins
in the European imagination, to its transmission to China and its
encounter with a lyrical Chinese tradition of ethical awakening, to
its incorporation and mobilization in a mass movement designed to
wake up everyone. The idea of a national awakening crossed all
discursive boundaries to make room for nationalist politics in
personal culture and helped to conscript personal culture into
service of the revolutionary state. The book focuses on the
Nationalist movement in south China, highlighting the role of Sun
Yat-sen as director of awakenings in the Nationalist Revolution and
the place of Mao Zedong as his successor in the politics of mass
awakening. Of special interest is the previously untold story of
Mao's role in the NationalistPropaganda Bureau, showing Mao as a
master of propaganda and discipline, rather than as peasant
movement activist.
|
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012 ed.)
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, …
|
R1,611
Discovery Miles 16 110
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the Third International
Conference on Abstract State Machines, B, VDM, and Z, which took
place in Pisa, Italy, in June 2012. The 20 full papers presented
together with 2 invited talks and 13 short papers were carefully
reviewed and selected from 59 submissions. The ABZ conference
series is dedicated to the cross-fertilization of five related
state-based and machine-based formal methods: Abstract State
Machines (ASM), Alloy, B, VDM, and Z. They share a common
conceptual foundation and are widely used in both academia and
industry for the design and analysis of hardware and software
systems. The main goal of this conference series is to contribute
to the integration of these formal methods, clarifying their
commonalities and differences to better understand how to combine
different approaches for accomplishing the various tasks in
modeling, experimental validation and mathematical verification of
reliable high-quality hardware/software systems.
This book provides an introduction to practical formal modelling
techniques in the context of object-oriented system design. It is
aimed at both practising software engineers with some prior
experience of object-oriented design/programming and at
intermediate or advanced students studying object-oriented design
or modelling in a short course. The following features make this
book particularly attractive to potential instructors: The
relationship with UML and object-oriented programming makes it easy
to integrate with the mainstream computing curriculum. Although the
book is about formal methods, it does not have to be treated as a
specialist topic. The use of tools and an accessible modelling
language improves student motivation. The industry-based examples
and case studies add to the credibility of the approach. The light
touch approach means that the material appeals to students with a
wider range of abilities than is the case in a conventional formal
methods text. Support materials as listed above."
This volume contains the proceedings of Formal Methods 2005, the
13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,
UK, during July 18 22, 2005. Formal Methods Europe (FME,
www.fmeurope.org) is an independent association which aims to
stimulate the use of, and research on, formal methods for system
development. FME conferences began with a VDM Europe symposium in
1987. Since then, the meetings have grown and have been held about
once every 18 months. Throughout the years the symposia have been
notablysuccessfulinbringingtogetherresearchers, tooldevelopers,
vendors, and users, both from academia and from industry. Formal
Methods 2005 con?rms this success. We received 130 submissions to
the main conference, from all over the world. Each submission was
carefully refereed by at least three reviewers. Then, after an
intensive, in-depth discussion, the Program Committee selected 31
papers for presentation at the conference. They form the bulk of
this volume. We would like to thank all the Program Committee
members and the referees for their excellent and e?cient work.
Apart from the selected contributions, the Committee invited three
keynote lectures from Mathai Joseph, Marie-Claude Gaudel and Chris
Johnson. You will ?nd the abstracts/papers for their keynote
lectures in this volume as well.
AninnovationfortheFM2005programwasapaneldiscussiononthehistory of
formal methods, with Jean-Raymond Abrial, Dines Bjorner, Jim
Horning and Cli? Jones as panelists. Unfortunately, it was not
possible to re?ect this event in the current volume, but you will
?nd the material documenting it elsewhere (see the conference Web
page).
Object-oriented design methods are commonplace in computing systems
development, but are often dismissed as 'boxes & arrows'. If
systems developers are to gain full advantage from such methods,
they should be able to achieve designs that are not merely the
subject of heated argument, but can be improved by careful,
rigorous & machine-supported analysis.
This book describes an object-oriented design approach that
combines the benefits of abstract modelling with the analytic power
of formal methods, to give designs that can be rigorously validated
& assured with automated support.
Aimed at software architects, designers & developers as well
as computer scientists, no prior knowledge of formal methods is
assumed. The elements of functional modelling are introduced using
numerous examples & exercises, industrial case studies &
experience reports. Industry-strength tools support the text. Go to
www.vdmbook.com to download free-of-charge VDMTools Lite, which
gives the possibility to try out examples from the book
This book constitutes the refereed proceedings of FME '97, the 4th
International Symposium of Formal Methods Europe devoted to
Industrial Applications and Strengthened Foundations of Formal
Methods , held in Graz, Austria, in September 1997. The 35 revised
full papers presented in the volume were selected from a total of
94 submissions. Formal methods and mathematically based techniques
are increasingly recognized as a viable technology for the
development and engineering of computing systems. The majority of
the papers in this volume describe industrial applications,
extensions to existing techniques, or case studies; papers on
theoretical aspects show clear potential applicability.
Formal specifications were first used in the description of program
ming languages because of the central role that languages and their
compilers play in causing a machine to perform the computations
required by a programmer. In a relatively short time, specification
notations have found their place in industry and are used for the
description of a wide variety of software and hardware systems. A
formal method - like VDM - must offer a mathematically-based
specification language. On this language rests the other key
element of the formal method: the ability to reason about a
specification. Proofs can be empioyed in reasoning about the
potential behaviour of a system and in the process of showing that
the design satisfies the specification. The existence of a formal
specification is a prerequisite for the use of proofs; but this
prerequisite is not in itself sufficient. Both proofs and programs
are large formal texts. Would-be proofs may therefore contain
errors in the same way as code. During the difficult but inevitable
process of revising specifications and devel opments, ensuring
consistency is a major challenge. It is therefore evident that
another requirement - for the successful use of proof techniques in
the development of systems from formal descriptions - is the
availability of software tools which support the manipu lation of
large bodies of formulae and help the user in the design of the
proofs themselves."
Ireland-Japan Connections and Crossings celebrates sixty-five years
of Irish-Japanese diplomatic relations and its publication is one
part of a number of commemorative events designed to cherish past
and future relations between the two countries.The book is a
celebration of each country and their influences on one another. It
is impossible to document these in their entirety; and this is not
the purpose of the book. The articles, stories and poems in this
book are a selection from a very wide and deep source. Covering a
broad spectrum, the contributions fall into a number of defined
categories: diplomatic, economic, history and culture, education,
memoir and poetry. We hope that the book will encourage and inspire
readers to continue to read, enquire and travel into these unique,
well-connected islands.
|
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Paperback, 1st ed. 2016)
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
|
R1,745
Discovery Miles 17 450
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 21st
International Symposium on Formal Methods, FM 2016, held in
Limassol, Cyprus, in November 2016. The 38 full papers and 11 short
papers presented together with one abstract of an invited talk and
one invited presentation were carefully reviewed and selected from
162 submissions. The broad topics of interest for FM include:
interdisciplinary formal methods; formal methods in practice; tools
for formal methods; role of formal methods in software and systems
engineering; theoretical foundations.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|