Choose an application

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

In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas. Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence. Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

Computer software—Reusability. --- Computers. --- Performance and Reliability. --- Theory of Computation.

Choose an application

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

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated circuits and systems. We realized this vision this year by providing a technical program that contained state-of-the-art technical contributions, a keynote speech, three invited talks and two embedded tutorials. The technical program focused on timing, performance and power consumption, as well as architectural aspects, with particular emphasis on modelling, design, charac- rization, analysis and optimization in the nanometer era. This year a record 152 contributions were received to be considered for p- sible presentation at PATMOS. Despite the choice for an intense three-day m- ting, only 51 lecture papers and 34 poster papers could be accommodated in the single-track technical program. The Technical Program Committee, with the - sistance of additional expert reviewers, selected the 85 papers to be presented at PATMOS and organized them into 13 technical sessions. As was the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were received per manuscript.

Conferences - Meetings --- Engineering. --- Arithmetic and logic units, Computer. --- Logic design. --- Computer software --- Microprocessors. --- Computers. --- Electronics. --- Microelectronics. --- Electronics and Microelectronics, Instrumentation. --- Theory of Computation. --- Logic Design. --- Performance and Reliability. --- Processor Architectures. --- Arithmetic and Logic Structures. --- Reusability. --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electrical engineering --- Physical sciences --- 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 --- Minicomputers --- Reusability of software --- Reusable code (Computer programs) --- Software reusability --- Software reengineering --- Generic programming (Computer science) --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Construction --- Industrial arts --- Technology --- Circuits --- Integrated circuits --- Very large scale integration --- Computer-aided design --- Information theory. --- Operating systems (Computers). --- Computer science. --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Communication theory --- Communication --- Operating systems --- Computer software—Reusability.

Choose an application

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

Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes. Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes: –Techniques for incident and accident analysis; –Empirical studies of operator behaviour in safety-critical systems; –Observational studies of safety-critical systems; –Risk assessment techniques for interactive systems; –Safety-related interface design, development and testing; –Formal description techniques for the design and development of safety-critical interactive systems. Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications. This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

Industrial safety --- Human engineering. --- Technological innovations --- Engineering. --- Operating systems (Computers). --- Social sciences --- Engineering, general. --- Performance and Reliability. --- Computer Appl. in Social and Behavioral Sciences. --- Data processing. --- Computer software—Reusability. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Construction --- Industrial arts --- Technology --- Ergonomics --- Human factors in engineering design --- Bioengineering --- Environmental engineering --- Industrial engineering --- Human comfort --- Human-robot interaction --- 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 --- Accidents --- System safety --- Prevention --- Computers. --- Technology and Engineering. --- Hardware Performance and Reliability. --- Computer Application in Social and Behavioral Sciences.