Page 112
Page 112
How to engineer software : A model-based approach
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software documentation that specifically and intentionally adds value for development and maintenance. Contains many illustrative examples of model-based software engineering, from semantic model all the way to executable code Explains how to derive verification (acceptance) test cases from a semantic model Describes project estimation, along with alternative software development and maintenance processes Shows how to develop and maintain cost-effective software that solves real-world problems
How humans judge machines
80 experimental scenarios help us understand how humans judge AIs as opposed to other humans in the same situation
How Apollo flew to the moon
Out of the technological battlefield of World War II came a team of gifted German engineers and designers who developed the vengeance weapon, the V-2, which evolved into the peaceful, powerful Saturn V rocket to take men to the Moon. David Woods tells the exciting story, starting from America’s post war astronautical research facilities, that used the V-2 for the development of the robust, resilient and reliable Saturn V launcher. He describes the initial launches through manned orbital spaceflights, comprehensively detailing each step, including computer configuration, the role of ground control, trajectory planning, lunar orbiting, separation of the lander, walking and working on the Moon, retrieval of the lunar astronauts and returning to Earth in this massive technical accomplishment.
How AI Impacts Urban Living and Public Health ; 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
This book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.
Hotel management system
The hotel management system is a system that manages a hotel reservation and services distributed within the hotel, as it manages the reservations and help the customer to know about the hotel services through a mobile application and web application. The system makes guests more comfortable in the hotel through easy accessing to all hotel services and room reservations. The system also gives the admins full access to the data of rooms and reservations and customers and the employees can access to accept the services and the reservations. Our system also gives a benefit to the hotel owner which the guest can make a report in the application about the room and the services to the managers and the hotel owner to improve the quality of the services in the hotel.
Hosting server management
At a high level, this project involves building and configuring a hosting server to provide website, email, and FTP hosting services to customers. The project also includes building a website where customers can register an account, choose hosting packages, and manage their hosting plan by linking the website to the hosting server's control panel using APIs. To effectively manage the hosting server and provide reliable hosting services to customers, it is important to have a deep understanding of the technologies and protocols involved in web hosting. This includes knowledge of web server software, email protocols, FTP protocols, and security best practices.
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
Honeypots for Windows
Installing a honeypot inside your network as an early warning system can significantly improve your security. Currently, almost every book and resource about honeypots comes from a Unix background, which leaves Windows administrators still grasping for help. But Honeypots for Windows is a forensic journeyhelping you set up the physical layer, design your honeypot, and perform malware code analysis. You'll discover which Windows ports need to be open on your honeypot to fool those malicious hackers, and you'll learn about numerous open source tools imported from the Unix world. Install a honeypot on your DMZ or at home and watch the exploits roll in! Your honeypot will capture waves of automated exploits, and youll learn how to defend the computer assets under your control.
Home-oriented informatics and telematics ; Proceedings of the IFIP WG 9.3 HOIT2005 Conference
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Home Networking ; 1st IFIP WG 6.2 Home Networking Conference (IHN’2007), Paris, France, December 10–12, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Home Long-Term Oxygen Treatment in Italy : The Additional Value of Telemedicine
This book, edited by Roberto W. Dal Negro and Allen I. Goldberg, gives us a full account of the impact of the telemedicine system on H-LTOT. According to the information in this book, we have to begin to think about the possibility of using telemonitoring in H-LTOT in a really general manner. In fact, telemonitoring allows better control of the compliance of patients suffering from respiratory failure, and this means a better clinical condition and longer survival, both linked to the long-term administration of oxygen. Moreover, it also permits a reduction in expenditure for the management of patients under LTOT.
Home Informatics and Telematics : ICT for The Next Billion
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately in the areas of planning and scheduling on the one hand and control on the other. In this book we propose these two areas can be integrated through adopting a focus on execution.
Holonic and multi-agent systems for manufacturing ; 3rd International Conference on industrial applications of holonic and multi-agent systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings
The research of holonic and agent-based systems is developing rapidly, as is the community around this R&D topic. Despite the fact that real-life practical implementations of such systems remain surprisingly rare, the leaders in different branches of industry feel that the holonic and agent-based systems represent the only way to manage and control very complex, highly distributed systems in the future.
Holonic and multi-agent systems for manufacturing ; 2nd International conference on industrial applications of holonic and multi-agent systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings
The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly stringent customer requirements while managing growing system complexity. For example, customers expect high-quality, customizable, low-cost products that can be delivered quickly. The systems that deliver these expectations are by nature distributed, concurrent, and stochastic, and, as a result, increasingly difficult to manage. Unfortunately, the traditional hierarchical, strictly centralized approach to control used in these domains is characteristically inflexible, fragile, and difficult to maintain. These shortcomings have led to the development of a new class of manufacturing and supply-chain decision-making approaches in recent years. Solutions based on these approaches usually explore a set of highly distributed decision-making units that are capable of autonomous operations while cooperating interactively to resolve larger problems. The units, referred to as agents in classical computer science and software engineering, or holons if physically integrated with the manufacturing hardware, interact by exchanging information. These units are motivated by arriving at local solutions as well as collaborating and sharing resources and goals in solving the overall problem in question collectively.
History of Nordic computing ; IFIP WG9.7 ; 1st Working conference on the history of Nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
History of Computing and Education 3 (Hce3) ; IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
History of computing and education 2 (HCE2) ; IFIP 19th World Computer Congress, WG 9.7, TC 9: History of computing, Proceedings of the 2nd Conference on the history of computing and education, August 21-24, Santiago, Chile
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
High-performance Packet Switching Architectures
Internet traffic is increasing at a rate of at least 200% per year. The world’s largest Internet Service Provider has recently stated that it expects traffic capacity on its regional trunks to grow to a 1-10 petabit range over the next four to five years. Wavelength division multiplexing (WDM), long-haul fiber-optic links and high-capacity all-optical circuit switches are now being employed at the Internet core to process such massive traffic, consequently creating a demand for novel high-performance packet switching technologies (IP routers, ATM switches, and Ethernet Switches) which feed the optical core.
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
This book is the final compendium of case studies emanated from “High-Performance Modelling and Simulation for Big Data Applications” (cHiPSet).cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Modelling & Simulation to tangibly address Big Data challenges.cHiPSet has also endeavoured to use and exploit results through Open Science practices, i.e., open access publication, open access to data repositories, and open-source software development. A testament to this philosophy, this compendium is set to become a required reference for the fast-changing fields of HPC, Big Data, and Modelling & Simulation.
