Cryptography has experienced rapid development, with major advances recently in both secret and public key ciphers, cryptographic hash functions, cryptographic algorithms and multiparty protocols, including their software engineering correctness verification, and various methods of cryptanalysis. This textbook introduces the reader to these areas, offering an understanding of the essential, mos…
This book constitutes the refereed proceedings of the IFIP TC 5 International Conference on Digital Product and Process Development Systems, NEW PROLAMAT 2013, held in Dresden, Germany, in October 2013. The conference succeeds the International Conference on Programming Languages for Machine Tools, PROLAMAT 2006, held in Shanghai, China in 2006. In order to demonstrate the new orientation towar…
Judul asli : "Microsoft Windows 95 Internet Kit"
The two volumes IFIP AICT 414 and 415 constitute the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2013, held in University Park, PA, USA, in September 2013. The 133 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 4 parts: sustainable production, sustainable sup…
This textbook provides a progressive approach to the teaching of software engineering. First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly for the software engineering process itself. Then, the processes involved in software engineering are…
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2013, which was held in National Capital Region (NCR) of India during January 2013. The 87 revised full papers were carefully selected from 169 submissions and present the recent technological developm…
This book constitutes the thoroughly refereed proceedings of the fourth International Conference on Mobile Networks and Management, MONAMI 2012, held in Hamburg, Germany, in September 2012. The 15 revised full papers presented were carefully selected and reviewed from numerous submissions. In addition two well-received workshops are presented: the second MONAMI Workshop on Smart Objects and the…
This book constitutes the refereed proceedings of the Third International Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2012, and of the two workshops: Workshop on Advances in Personalized Healthcare Services, Wearable Mobile Monitoring, and Social Media Pervasive Technologies (APHS 2012), and Workshop on Advances in Wireless Physical Layer Communications for Emerging H…
Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such hardware, and the range of applications will be much broader than that of scientific computing, up to …
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…