Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Innovations and Advances in Computer Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Innovations and Advances in Computer Sciences and Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2008) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2008). Topics Covered: Signal and Image Processing: Content Based Video Retrieval, Character Recognition, Incremental Learning for Speech Recognition, Signal Processing Theory and Methods, and Vision-based Monitoring Systems. Software and Systems: Activity-Based Software Estimation, Algorithms, Genetic Algorithms, Information Systems Security, Programming Languages, Software Protection Techniques, Software Protection Techniques, and User Interfaces. Distributed Processing: Asynchronous Message Passing System, Heterogeneous Software Environments, Mobile Ad Hoc Networks, Resource Allocation, and Sensor Networks. Advanced and innovative techniques in computing: e-Science and Virtual Instrumentation, Fault-Tolerant Scheduling, Grid Computing, Microcracking in Cortical Bones, Service-oriented Architectures, and Virtualization in Data Warehouses.

Computer engineering -- Congresses. ystems engineering --Congresses. --- Computer science -- Congresses. --- Software engineering -- Congresses. --- Systems engineering -- Congresses. --- Computer science --- Computer engineering --- Software engineering --- Systems engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Electrical Engineering --- Engineering - General --- Computer Science --- Engineering --- Technological innovations. --- Informatics --- Construction --- Engineering. --- Computer hardware. --- Software engineering. --- Electronics. --- Microelectronics. --- Electronics and Microelectronics, Instrumentation. --- Computer Hardware. --- Software Engineering/Programming and Operating Systems. --- Science --- Industrial arts --- Technology --- Computer software engineering --- Electrical engineering --- Physical sciences --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Advanced Topics in Control Systems Theory" contains selected contributions written by lecturers at the third (annual) Formation d’Automatique de Paris (FAP) (Graduate Control School in Paris). Following on from the lecture notes from the second FAP (Volume 311 in the same series) it is addressed to graduate students and researchers in control theory with topics touching on a variety of areas of interest to the control community such as nonlinear optimal control, observer design, stability analysis and structural properties of linear systems. The reader is provided with a well-integrated synthesis of the latest thinking in these subjects without the need for an exhaustive literature review. The internationally known contributors to this volume represent many of the most reputable control centers in Europe.

Automatic control --- Control theory --- Systems engineering --- Commande automatique --- Théorie de la commande --- Ingénierie des systèmes --- Congresses --- Mathematical models --- Congrès --- Modèles mathématiques --- Control engineering --- Control equipment --- Engineering. --- System theory. --- Mechanical engineering. --- Automotive engineering. --- Control engineering. --- Control. --- Systems Theory, Control. --- Automotive Engineering. --- Mechanical Engineering. --- Control and Systems Theory. --- Engineering, Mechanical --- Engineering --- Machinery --- Steam engineering --- Construction --- Industrial arts --- Technology --- Systems, Theory of --- Systems science --- Science --- Philosophy --- Systems theory. --- Engineering instruments --- Automation --- Programmable controllers --- Automatic control - Congresses --- Automatic control - Mathematical models - Congresses --- Control theory - Congresses --- Systems engineering - Congresses --- Automatic control.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.   In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.   Researchers and students will learn basic dependability concepts and how to model them using  UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

Computer science -- Mathematics. --- Computer-aided software engineering -- Congresses. --- Systems engineering -- Congresses. --- Engineering & Applied Sciences --- Computer Science --- Computer software --- Software engineering. --- Development. --- Development of computer software --- Software development --- Computer software engineering --- Computer science. --- Computer system failures. --- Computers. --- Computer Science. --- Software Engineering. --- Computation by Abstract Devices. --- System Performance and Evaluation. --- Engineering --- Computer system performance. --- Informatics --- Science --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures --- Evaluation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A large international conference on Advances in Machine Learning and Systems Engineering was held in UC Berkeley, California, USA, October 20-22, 2009, under the auspices of the World Congress on Engineering and Computer Science (WCECS 2009). Machine Learning and Systems Engineering contains forty-six revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Expert system, Intelligent decision making, Knowledge-based systems, Knowledge extraction, Data analysis tools, Computational biology, Optimization algorithms, Experiment designs, Complex system identification, Computational modeling, and industrial applications. Machine Learning and Systems Engineering offers the state of the art of tremendous advances in machine learning and systems engineering and also serves as an excellent reference text for researchers and graduate students, working on machine learning and systems engineering.

Artificial intelligence -- Congresses. --- Machine learning -- Congresses. --- Systems engineering -- Congresses. --- Machine learning --- Systems engineering --- Engineering & Applied Sciences --- Computer Science --- Machine learning. --- Systems engineering. --- Engineering systems --- System engineering --- Learning, Machine --- Design and construction --- Engineering. --- Artificial intelligence. --- Data protection. --- Computational Intelligence. --- Artificial Intelligence (incl. Robotics). --- Systems and Data Security. --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Engineering --- Industrial engineering --- System analysis --- Artificial intelligence --- Computer security. --- Artificial Intelligence. --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Protection --- Security measures --- Computational intelligence. --- Intelligence, Computational --- Soft computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The integrated and advanced science research topic man-machine-environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a letter to Shengzhao Long from October 22nd, 1993, Xuesen Qian wrote: “You have created a very important modern science and technology in China!”   MMESE primarily focuses on the relationship between man, machines and the environment, studying the optimum combination of man-machine-environment systems. In this system, “man” refers to people in the workplace (e.g. operators, decision-makers); “ machine” is the general name for any object controlled by man (including tools, machinery, computers, systems and technologies), and “environment” describes the specific working conditions under which man and machine interact (e.g. temperature, noise, vibration, hazardous gases etc.). The three goals of optimization of man-machine-environment systems are to ensure safety, efficiency and economy.   Proceedings of the 14th International Conference on Man-Machine-Environment System Engineering are an academic showcase of the best papers selected from more than 400 submissions, introducing readers to the top research topics and the latest developmental trends in the theory and application of MMESE.   These proceedings are interdisciplinary studies on the concepts and methods of physiology, psychology, system engineering, computer science, environment science, management, education, and other related disciplines. Researchers and professionals working in these interdisciplinary fields and researchers on MMESE related topics will benefit from these proceedings.

Engineering. --- Robotics and Automation. --- Artificial Intelligence (incl. Robotics). --- Human Physiology. --- Engineering Design. --- Aerospace Technology and Astronautics. --- Quality Control, Reliability, Safety and Risk. --- Human physiology. --- Artificial intelligence. --- Engineering design. --- Astronautics. --- System safety. --- Ingénierie --- Physiologie humaine --- Intelligence artificielle --- Conception technique --- Astronautique --- Sécurité des systèmes --- Cybernetics -- Congresses. --- Human-machine systems -- Congresses. --- Systems engineering -- Congresses. --- Mechanical Engineering --- Engineering & Applied Sciences --- Mechanical Engineering - General --- Human-machine systems --- Systems engineering --- Artificial Intelligence. --- Safety, System --- Safety of systems --- Systems safety --- Accidents --- Industrial safety --- Space sciences --- Aeronautics --- Astrodynamics --- Space flight --- Space vehicles --- Design, Engineering --- Engineering --- Industrial design --- Strains and stresses --- Human biology --- Medical sciences --- Physiology --- Human body --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Prevention --- Design --- Robotics. --- Automation. --- Aerospace engineering. --- Quality control. --- Reliability. --- Industrial safety. --- Automatic factories --- Automatic production --- Computer control --- Engineering cybernetics --- Factories --- Industrial engineering --- Mechanization --- Assembly-line methods --- Automatic control --- Automatic machinery --- CAD/CAM systems --- Robotics --- Automation --- Dependability --- Trustworthiness --- Conduct of life --- Factory management --- Reliability (Engineering) --- Sampling (Statistics) --- Standardization --- Quality assurance --- Quality of products --- Aeronautical engineering --- Astronautics --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- System safety