|
Showing 1 - 8 of
8 matches in All Departments
|
Computer, Communication, and Signal Processing - 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24–25, 2022, Revised Selected Papers (1st ed. 2022)
Erich J Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose
|
R3,483
Discovery Miles 34 830
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Conference on Computer, Communication, and Signal
Processing, ICCSP 2022, held in Chennai, India, in February 2022.*
The 21 full and 2 short papers presented in this volume were
carefully reviewed and selected from 111 submissions. The papers
are categorized into topical sub-headings: artificial intelligence
and machine learning; Cyber security; and internet of things. *The
conference was held as a virtual event due to the COVID-19
pandemic.Â
|
Future Data and Security Engineering - 1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings (Paperback, 2014 ed.)
Tran Khanh Dang, Roland Wagner, Erich J Neuhold, Makoto Takizawa, Josef Kung, …
|
R2,517
Discovery Miles 25 170
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the First
International Conference on Future Data and Security Engineering,
FDSE 2014, held in Ho Chi Minh City, Vietnam, in November 2014. The
23 full papers presented were carefully reviewed and selected from
66 submissions. They have been organized in the following topical
sections: big data analytics and applications; security and privacy
engineering; crowdsourcing and social network data analytics;
biometrics and data protection in smart devices; cloud data
management and applications; and advances in query processing and
optimization.
|
Information and Communication Technology - Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings (Paperback, 2014 ed.)
Linawati, Made Sudiana Mahendra, Erich J Neuhold, A. Min Tjoa, Ilsun You
|
R3,092
Discovery Miles 30 920
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Second IFIP
TC 5/8 International Conference on Information and Communication
Technology, ICT-Eur Asia 2014, with the collocation of Asia ARES
2014 as a special track on Availability, Reliability and Security,
held in Bali, Indonesia, in April 2014. The 70 revised full papers
presented were carefully reviewed and selected from numerous
submissions. The papers have been organized in the following
topical sections: applied modeling and simulation; mobile
computing; advanced urban-scale ICT applications; semantic web and
knowledge management; cloud computing; image processing; software
engineering; collaboration technologies and systems; e-learning;
data warehousing and data mining; e-government and e-health;
biometric and bioinformatics systems; network security; dependable
systems and applications; privacy and trust management;
cryptography; multimedia security and dependable systems and
applications.
We report here the results obtained thus far along two distinct but
complementary and converging lines of research work. The theme is
conceptual data base design (specification), and the work has been
going on for a number of years, mainly at the University of
Stuttgart, in the Federal Republic of Germany, and at the
Pontificia Universidade Cat6lica do Rio de Janeiro, in Brasil. We
are glad to acknowledge the collaboration of several colleagues and
students, particularly H. Biller, J. M. V. de Castilho, A.
Horndasch, C. S. dos Santos, R. Studer, U. Schiel, and I. Waiter.
Two other co-workers deservey special recognition, since they have
shared in writing the report which originated part A of this book -
M.A. Casanova and P.A.S. Veloso. The book is intended as a text for
graduate courses on information systems and on data bases. The
subject is treated formally, since we do believe that formality
leads to precision, a quality that one misses in the still
prevailing ad-hoc techniques. The theoretical background is
covered, although in a condensed fashion, referring the reader to
the appropriate literature for more details.
In software engineering there is a growing need for formalization
as a basis for developing powerful computer assisted methods. This
volume contains seven extensive lectures prepared for a series of
IFIP seminars on the Formal Description of Programming Concepts.
The authors are experts in their fields and have contributed
substantially to the state of the art in numerous publications. The
lectures cover a wide range in the theoretical foundations of
programming and give an up-to-date account of the semantic models
and the related tools which have been developed in order to allow a
rigorous discussion of the problems met in the construction of
correct programs. In particular, methods for the specification and
transformation of programs are considered in detail. One lecture is
devoted to the formalization of concurrency and distributed systems
and reflects their great importance in programming. Further topics
are the verification of programs and the use of sophisticated type
systems in programming. This compendium on the theoretical
foundations of programming is also suitable as a textbook for
special seminars on different aspects of this broad subject.
|
VDM '87. VDM - A Formal Method at Work - VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Paperback, 1987 ed.)
Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J Neuhold
|
R1,745
Discovery Miles 17 450
|
Ships in 10 - 15 working days
|
|
Computer, Communication, and Signal Processing - 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24-25, 2022, Revised Selected Papers (Hardcover, 1st ed. 2022)
Erich J Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose
|
R3,518
Discovery Miles 35 180
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Conference on Computer, Communication, and Signal
Processing, ICCSP 2022, held in Chennai, India, in February 2022.*
The 21 full and 2 short papers presented in this volume were
carefully reviewed and selected from 111 submissions. The papers
are categorized into topical sub-headings: artificial intelligence
and machine learning; Cyber security; and internet of things. *The
conference was held as a virtual event due to the COVID-19
pandemic.
|
Future Data and Security Engineering - 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings (Paperback, 1st ed. 2017)
Tran Khanh Dang, Roland Wagner, Josef Kung, Nam Thoai, Makoto Takizawa, …
|
R3,074
Discovery Miles 30 740
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Third
International Conference on Future Data and Security Engineering,
FDSE 2016, held in Can Tho City, Vietnam, in November 2016. The 28
revised full papers and 7 short papers presented were carefully
reviewed and selected from 128 submissions. The accepted papers
were grouped into the following sessions: Advances in query
processing and optimization Big data analytics and applications
Blockchains and emerging authentication techniques Data engineering
tools in software development Data protection, data hiding, and
access control Internet of Things and applications Security and
privacy engineering Social network data analytics and
recommendation systems
|
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
|