springer us apr 2002 (7 Ergebnisse)

Buch. Zustand: Neu. Neuware - Java is an exciting new object-oriented technology. Hardware for supporting objects and other features of Java such as multithreading, dynamic linking and loading is the focus of this book. The impact of Java's features on micro-architectural resources and issues in the design of Java-specific architectures are interesting topics that require the immediate attention of the research community. While Java has become an important part of desktop applications, it is now being used widely in high-end server markets, and will soon be widespread in low-end embedded computing.Java Microarchitectures contains a collection of papers providing a snapshot of the state of the art in hardware support for Java. The book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently.

Buch. Zustand: Neu. Neuware - Database and Application Security XV provides a forum for original research results, practical experiences, and innovative ideas in database and application security. With the rapid growth of large databases and the application systems that manage them, security issues have become a primary concern in business, industry, government and society. These concerns are compounded by the expanding use of the Internet and wireless communication technologies.This volume covers a wide variety of topics related to security and privacy of information in systems and applications, including: Access control models; Role and constraint-based access control; Distributed systems; Information warfare and intrusion detection; Relational databases; Implementation issues; Multilevel systems; New application areas including XML. Database and Application Security XV contains papers, keynote addresses, and panel discussions from the Fifteenth Annual Working Conference on Database and Application Security, organized by the International Federation for Information Processing (IFIP) Working Group 11.3 and held July 15-18, 2001 in Niagara on the Lake, Ontario, Canada.

Buch. Zustand: Neu. Neuware - Linking People, Place, and Policy: A GIScience Approach describes a breadth of research associated with the study of human-environment interactions, with particular emphasis on land use and land cover dynamics. This book examines the social, biophysical, and geographical drivers of land use and land cover patterns and their dynamics, which are interpreted within a policy-relevant context. Concepts, tools, and techniques within Geographic Information Science serve as the unifying methodological framework in which landscapes in Thailand, Ecuador, Kenya, Cambodia, China, Brazil, Nepal, and the United States are examined through analyses conducted using quantitative, qualitative, and image-based techniques.Linking People, Place, and Policy: A GIScience Approach addresses a need for a comprehensive and rigorous treatment of GIScience for research and study within the context of human-environment interactions. The human dimensions research community, land use and land cover change programs, and human and landscape ecology communities, among others, are collectively viewing the landscape within a spatially-explicit perspective, where people are viewed as agents of landscape change that shape and are shaped by the landscape, and where landscape form and function are assessed within a space-time context. This book articulates some of these challenges and opportunities.

Buch. Zustand: Neu. Neuware - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.

Buch. Zustand: Neu. Neuware - Optimization problems in practice are diverse and evolve over time, giving rise to - quirements both for ready-to-use optimization software packages and for optimization software libraries, which provide more or less adaptable building blocks for app- cation-specific software systems. In order to apply optimization methods to a new type of problem, corresponding models and algorithms have to be 'coded' so that they are accessible to a computer. One way to achieve this step is the use of a mod- ing language. Such modeling systems provide an excellent interface between models and solvers, but only for a limited range of model types (in some cases, for example, linear) due, in part, to limitations imposed by the solvers. Furthermore, while m- eling systems especially for heuristic search are an active research topic, it is still an open question as to whether such an approach may be generally successful. Modeling languages treat the solvers as a 'black box' with numerous controls. Due to variations, for example, with respect to the pursued objective or specific problem properties, - dressing real-world problems often requires special purpose methods. Thus, we are faced with the difficulty of efficiently adapting and applying appropriate methods to these problems. Optimization software libraries are intended to make it relatively easy and cost effective to incorporate advanced planning methods in application-specific software systems. A general classification provides a distinction between callable packages, nume- cal libraries, and component libraries.

Buch. Zustand: Neu. Neuware - In the past dozen years, the field of international mental health has been transformed from a sub-discipline that attracted only a handful of anthropologists, psychiatrists, and psychologists, into a field that has now become a major concern in international public health. The World Mental Health Casebook will serve as a resource for those engaged in the widening efforts to address the burden of mental disorders in low-income countries. The case studies contained here describe: the 'Shanghai Model' of psychiatric rehabilitation for persons with schizophrenia, an extraordinary mental health program for poor patients in Lima, Peru who are undergoing treatment for multi-drug resistant tuberculosis, how Guatemalan refugee women in Mexico were trained to become mental health promoters, the development of mental health services in primary care settings in Nepal, the attempts to improve the lives of women in India through literacy programs, the radical reform of psychiatric services in Trieste, Italy, and research from Fiji and Hong Kong that shows how traditional practices can lower the prevalence of post-partum depression. Each case history, through concrete and pragmatic examples, offers lessons that can inform the functioning of services elsewhere. In general, the Casebook, will also encourage others to undertake careful documentation and evaluation of programs so that the mistakes of the past can be avoided, and the successes replicated.

Buch. Zustand: Neu. Neuware - Massive traumatic stress resulting from armed conflict and terrorism is a prime concern of governments, non-government organizations and the United Nations. Yet there is little systematic knowledge of how to address psychological problems of these proportions. These situations are further complicated by the lack of culturally appropriate models for mental health care in many low-income countries. This volume describes a variety of public mental health and psychosocial programs in conflict and post-conflict situations in Africa and Asia. Each chapter details the psychosocial and mental health aspects of specific conflicts and examines them within their sociopolitical and historical contexts. Trauma, War, and Violence: Public Mental Health in Socio-Cultural Context will be of great interest to psychologists, social workers, anthropologists, historians, human rights experts, and psychiatrists working or interested in the field of psychotrauma.