الصفحة 1
الصفحة 1
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-driven architecture in practice ; A Software Production Environment Based on Conceptual Modeling
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. The book combines a sound theoretical approach based on more than 10 years' research.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems.
Intelligence and Security Informatics ; Vol. 3917 ; International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications. The First and Second Symposiums on ISI were held in Tucson, Arizona, in 2003 and 2004, respectively. In 2005, the IEEE International Conference on ISI was held in Atlanta, Georgia. These ISI conferences brought together academic researchers, law enforcement and intelligence experts, information technology consultants and practitioners to discuss their research and practice related to various ISI topics including ISI data management, data and text mining for ISI applications, terrorism informatics, deception detection, terrorist and criminal social network analysis, crime analysis, monitoring and surveillance, policy studies and evaluation, and information assurance, among others. We continued these stream of ISI conferences by organizing the Workshop on Intelligence and Security Informatics (WISI 2006) in conjunction with the Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2006).
Information assurance : Security in the information environment
This updated edition of Information Assurance: Security in the Information Environment was written to help IT managers and assets protection professionals to assure the protection and availability of vital digital information and related information systems assets. This Second Edition of Information Assurance includes major updates, including three new chapters • The Role of Policy in Information Assurance • Incident Management and Response • Security Standards Bridging the gap between information security, information systems security and information warfare, this edition re-examines and explains why organisations need to take information assurance seriously, and discusses the business, legal, and technical knowledge needed to secure these vital government and business assets.
Human Aspects of Information Security and Assurance ; 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8–10, 2020, Proceedings
This book constitutes the proceedings of the 14th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2020, held in Mytilene, Lesbos, Greece, in July 2020.* The 27 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: privacy and COVID-19; awareness and training; social engineering; security behavior; education; end-user security; usable security; security policy; and attitudes and perceptions.
Guide to Efficient Software Design : An MVC Approach to Concepts, Structures, and Models
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These concepts are then applied to a case study, and reinforced through practice exercises, with the option to follow either a structured design or object-oriented design paradigm. The text applies an incremental and iterative software development approach, emphasizing the use of design characteristics and modeling techniques as a way to represent higher levels of design abstraction, and promoting the model-view-controller (MVC) architecture.
Engineering and Managing Software Requirements
This book provides an exploration of key issues in requirements engineering, the book is organized in three parts. Part 1 presents surveys of state-of-the art requirements engineering process research along with critical assessments of existing models, frameworks and techniques. Part 2 addresses key areas in requirements engineering, such as market-driven requirements engineering, goal modeling, requirements ambiguity, and others. Part 3 concludes the book with articles that present empirical evidence and experiences from practices in industrial projects. Its broader perspective gives this book its distinct appeal and makes it of interest to both researchers and practitioners, not only in software engineering but also in other disciplines such as business process engineering and management science.
Digital Rights Management : Technologies, Issues, Challenges and Systems
The First International Conference on Digital Rights Management: Technology, Issues, Challenges and Systems (DRMTICS – pronounced ‘dramatics’), took place in Sydney, Australia on 31st October - 2nd November, 2005.DRMTICS isan internationalconferenceseriesthat coversthe areaof digital rights management, including research advancements of an applied and theor- ical nature. The goal is to have a broad coverage of the ?eld and related issues and subjects as the area evolves. Since the Internet and the computing infr- tructure has turned into a marketplace for content where information goods of various kinds are exchanged, this area is expected to grow and be part of the ongoing evolution of the information society.
Digital Convergence : Libraries of the Future
This volume presents key aspects in rapidly moving field in the areas of technology and information sciences - from international experts who are leaders in their fields.
Developing Services for the Wireless Internet
This book is for developers of wireless Internet services. It addresses the technical issues that can get in the way of the production of a successful service: variability of terminals, unstable technology, incomplete testing environment, variable bandwidth and quality of service. Useful techniques and methods when handing these issues are proposed using two case studies: a mobile game and a mobile trading service.
Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Data Integration in the Life Sciences ; Vol. 4075 ; 3rd International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings
Data management and data integration are fundamental problems in the life sciences. Advances in molecular biology and molecular medicine are almost u- versallyunderpinned by enormouse?orts in data management,data integration, automatic data quality assurance, and computational data analysis. Many hot topics in the life sciences, such as systems biology, personalized medicine, and pharmacogenomics, critically depend on integrating data sets and applications producedby di?erent experimentalmethods, in di?erent researchgroups,andat di?erent levels of granularity.
Cooperative Design, Visualization, and Engineering ; 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.* The 33 full papers and 7 short papers presented were carefully reviewed and selected from 74 submissions. The achievement, progress and future challenges are reported in areas such as health care, industrial design, banking IT systems, cultural activities support, operational maritime cybersecurity assurance, emotion communication, and social network data analytics.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer Insecurity : Risking the System
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent years have convincingly illustrated that the problem is increasing in both scale and cost. Computer Insecurity: Risking the System approaches its topic from the perspective of vulnerability – how can your system be attacked? Covering technical issues and human factors, the comprehensively researched text makes reference to numerous real-life security incidents, which help to provide persuasive practical evidence of the problems and the impacts that result. Key issues covered include: • the problem of computer insecurity • the need to raise security awareness • common failings that compromise protection • the attack and exploitation of systems • considerations in responding to the threats
Malware Detection
Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state of the art research in the area of malicious code detection, prevention and mitigation.
IT Security Controls : A Guide to Corporate Standards and Frameworks
Gives an overview of the major standards and frameworks, and a proposed architecture to meet them. The book identifies and describes the necessary controls and processes that must be implemented in order to secure your organization's infrastructure. The book proposes a comprehensive approach to the implementation of IT security controls with an easily understandable graphic implementation proposal to comply with the most relevant market standards (ISO 27001, NIST, PCI-DSS, and COBIT) and a significant number of regulatory frameworks from central banks across the World (European Union, Switzerland, UK, Singapore, Hong Kong, India, Qatar, Kuwait, Saudi Arabia, Oman, etc.). You will learn: Understand corporate IT security controls, including governance, policies, procedures, and security awareness Know cybersecurity and risk assessment techniques such as penetration testing, red teaming, compliance scans, firewall assurance, and vulnerability scans Understand technical IT security controls for unmanaged and managed devices, and perimeter controls Implement security testing tools such as steganography, vulnerability scanners, session hijacking, intrusion detection, and more
Bayesian reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The adoption and application of Bayesian methods in virtually all branches of science and engineering have significantly increased over the past few decades. This increase is largely due to advances in simulation-based computational tools for implementing Bayesian methods. The authors extensively use such tools throughout this book, focusing on assessing the reliability of components and systems with particular attention to hierarchical models and models incorporating explanatory variables. Such models include failure time regression models, accelerated testing models, and degradation models. The authors pay special attention to Bayesian goodness-of-fit testing, model validation, reliability test design, and assurance test planning. Throughout the book, the authors use Markov chain Monte Carlo (MCMC) algorithms for implementing Bayesian analyses--algorithms that make the Bayesian approach to reliability computationally feasible and conceptually straightforward.
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
