This volume contains the proceedings of the IFIPTM 2008, the Joint iTrust and PST Conferences on Privacy, Trust Management and Security, held in Trondheim, Norway from June 18 to June 20, 2008. IFIPTM 2008 provides a truly global platform for the reporting of research, development, policy and practice in the interdependent areas of Privacy, Security, and Trust. Following the traditions inherited from the highly successful iTrust and PST conference series, IFIPTM 2008 focuses on trust, privacy and security from multidisciplinary perspectives. The conference is an arena for discussion about re levant problems from both research and practice in the areas of academia, busi ness, and government. IFIPTM 2008 is an open IFIP conference, which only accepts contributed pa pers, so all papers in these proceedings have passed strict peer review. The pro gram of the conference features both theoretical research papers and reports of real world case studies. IFIPTM 2008 received 62 submissions. The program commit tee selected 22 papers for presentation and inclusion in the proceedings. In addi tion, the program and the proceedings include 3 demo descriptions. The highlights of IFIPTM 2008 include invited talks and tutorials by industri al and academic experts in the fields of trust management, privacy and security, including Jon Bing and Michael Steiner.

The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a simultaneous revival in several countries, with a number of significant results proved in the past five years. A large proportion of them appear in the present volume.

The editors of this volume suggested that the authors should write comprehensive half-survey papers. This collection is therefore useful for everyone interested in the theory of tree languages as it covers most of the recent questions which are not treated in the very few rather old standard books on the subject. Trees appear naturally in many chapters of computer science and each new property is likely to result in improvement of some computational solution of a real problem in handling logical formulae, data structures, programming languages on systems, algorithms etc. The point of view adopted here is to put emphasis on the properties themselves and their rigorous mathematical exposition rather than on the many possible applications.

This volume is a useful source of concepts and methods which may be applied successfully in many situations: its philosophy is very close to the whole philosophy of the ESPRIT Basic Research Actions and to that of the European Association for Theoretical Computer Science.

Unique selling point: Exploration of the societal and ethical issues surrounding the use and development of digital technology Core audience: IT managers and executives; academic researchers; students of IT Place in the market: Professional title with appeal to academics and students

Fuzzy modeling has become one of the most productive and successful results of fuzzy logic. Among others, it has been applied to knowledge discovery, automatic classification, long-term prediction, or medical and engineering analysis. The research developed in the topic during the last two decades has been mainly focused on exploiting the fuzzy model flexibility to obtain the highest accuracy. This approach usually sets aside the interpretability of the obtained models. However, we should remember the initial philosophy of fuzzy sets theory directed to serve the bridge between the human understanding and the machine processing. In this challenge, the ability of fuzzy models to express the behavior of the real system in a comprehensible manner acquires a great importance. This book collects the works of a group of experts in the field that advocate the interpretability improvements as a mechanism to obtain well balanced fuzzy models.

Digital technology determines today s world and will be one of the key technologies of the future. Successful technology development, introduction and management are not only a question of technical issues; due to their complexity a close cooperation between different scientific disciplines is required to discuss various consequences, chances and risks from manifold points of view as a starting point for the design of adequate solutions. The ability to integrate business and technology decisions will become a crucial core competence.

The aim of this volume is to highlight a selection of important current research topics in the field of digital technology and management, illustrating the variety of aspects which have to be considered in the development and application of digital technologies.

Main topics of this book are the design of the innovation process, digital rights management, mobile, location-based and ubiquitous services, IT service management and future communication networks."

The lectures contained in this book were presented at Harvard University in June 1979. The workshop at which they were presented was the third such on algebro-geometric methods. The first was held in 1973 in London and the emphasis was largely on geometric methods. The second was held at Ames Research Center-NASA in 1976. There again the emphasis was on geometric methods, but algebraic geometry was becoming a dominant theme. In the two years after the Ames meeting there was tremendous growth in the applications of algebraic geometry to systems theory and it was becoming clear that much of the algebraic systems theory was very closely related to the geometric systems theory. On this basis we felt that this was the right time to devote a workshop to the applications of algebra and algebraic geometry to linear systems theory. The lectures contained in this volume represent all but one of the tutorial lectures presented at the workshop. The lec ture of Professor Murray Wonham is not contained in this volume and we refer the interested to the archival literature. This workshop was jointly sponsored by a grant from Ames Research Center-NASA and a grant from the Advanced Study Institute Program of NATO. We greatly appreciate the financial support rendered by these two organizations. The American Mathematical Society hosted this meeting as part of their Summer Seminars in Applied Mathematics and will publish the companion volume of con tributed papers."

The book Computer Applications in Engineering and Management is about computer applications in management, electrical engineering, electronics engineering, and civil engineering. It covers the software tools for office automation, introduces the basic concepts of database management, and provides an overview about the concepts of data communication, internet, and e-commerce. Additionally, the book explains the principles of computing management used in construction of buildings in civil engineering and the role of computers in power grid automation in electronics engineering. Features Provides an insight to prospective research and application areas related to industry and technology Includes industry-based inputs Provides a hands-on approach for readers of the book to practice and assimilate learning This book is primarily aimed at undergraduates and graduates in computer science, information technology, civil engineering, electronics and electrical engineering, management, academicians, and research scholars.

This book offers a straight-forward guide to the fundamental work of governing bodies and the people who serve on them. The aim is of the book is to help every member serving on a governing body understand and improve their contribution to the entity and governing body they serve. The book is rooted in research, including five years' work by the author as a Research Fellow of Nuffield College, Oxford.

This is a supplementary volume to the major three-volume Handbook of Combinatorial Optimization set. It can also be regarded as a stand-alone volume presenting chapters dealing with various aspects of the subject in a self-contained way.

Make sure your students get the most from their online learning experiences Even though nearly every K-12 public school in the United States has broadband Internet access, the Web's vast potential as a teaching and learning tool has still not been realized. Web-based learning opportunities have been expensive, slow to develop, and time-consuming to implement, despite pressure on schools to adopt technology solutions that will cure their educational ills. Web-Based Learning in K-12 Classrooms: Opportunities and Challenges chronicles the up and downs of online learning and offers unique insights into its future, providing a comprehensive, curriculum-wide treatment of K-12 content areas (reading, science, mathematics, social studies), special education, counseling, virtual schools, exemplary schools, implementation issues, and educational Web sites. The Internet represents a powerful, complex set of technologies that offers your students access to unlimited knowledgebut that access doesn't replace the human interactions found in classrooms. Placing a student in front of a computer monitor is a supplement to classroom learning, not a substitute for it. Academics and education professionals address questions surrounding the key issues involved in successfully incorporating the wide range of Web-based learning opportunities (formal courses, demonstrations, simulations, collaborations, searches) into the classroom, including technology, content, and implementation. Web-Based Learning in K-12 Classrooms examines: inquiry-based learning online interaction displaying student work online Internet accessibility for students with disabilities initiating school counselors into e-learning technologies the role of government in virtual schools Web-based schools in California, Virginia, Pennsylvania, Vermont, and Texas a 13-category classification system for online educational resources the ATLAS model for program implementation evaluations of more than 1,000 pieces of online information (articles, research, reports, news, and statistics) and 900 Web applications (tutorials, drills, games, and tests) with evaluation criteria Web-Based Learning in K-12 Classrooms is a vital resource for educators interested in online learning applications across the K-12 curriculum.

Modeling and Simulation of High Speed VLSI Interconnects brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Modeling and Simulation of High Speed VLSI Interconnects serves as an excellent reference, providing insight into some of the most important issues in the field.

The dynamics of the atmosphere, ocean, and climate are inherently nonlinear and complex, making computer models ideal for accurate, complete understanding of these systems. In the process of building and using models, the reader of this book will learn how the different components of climate systems function, interact with each other, and vary over time. Topics covered include the stability of climate, earth's energy balance, parcel dynamics in the atmosphere, the mechanisms of heat transport in the climate system, and mechanisms of climate variability. Special attention is given to the effects of climate change. The book is accompanied by a cross-platform CD containing models and a run-time version of STELLA (R) software. Walter A. Robinson is Associate Professor of Atmospheric Sciences at the University of Illinois at Urbana-Chamaign.

This monograph provides novel insights into cognitive mechanisms underlying the processing of sound and music in different environments. A solid understanding of these mechanisms is vital for numerous technological applications such as for example information retrieval from distributed musical databases or building expert systems. In order to investigate the cognitive mechanisms of music perception fundamentals of hearing psychophysiology and principles of music perception are presented. In addition, some computational intelligence methods are reviewed, such as rough sets, fuzzy logic, artificial neural networks, decision trees and genetic algorithms. The applications of hybrid decision systems to problem solving in music and acoustics are exemplified and discussed on the basis of obtained experimental results.

Spectral analysis requires subjective decisions which influence the final estimate and mean that different analysts can obtain different results from the same stationary stochastic observations. Statistical signal processing can overcome this difficulty, producing a unique solution for any set of observations but that is only acceptable if it is close to the best attainable accuracy for most types of stationary data. This book describes a method which fulfils the above near-optimal-solution criterion, taking advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data.

Embodied conversational agents (ECAs) are autonomous software entities with human-like appearance and communication skills. These agents can take on a number of different roles, for example, as an assistant, tutor, information provider, or customer service agent. They may also simply represent or entertain a user.

The precise nature and benefits of different characteristics of ECAs requires careful investigation. Questions range from the function of an eyebrow raise to mechanisms for assessing and improving ECA trustworthiness.

This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 provides guidelines for evaluation methodologies and the identification of design and evaluation parameters. Part 2 demonstrates the importance of considering the user's perspective and interaction experience. Part 3 addresses issues in fine-tuning design parameters of ECAs and verifying the perceived effect. Finally, in Part 4 lessons learned from a number of application case studies are presented.

The book is intended for both ECA researchers in academia and industry, and developers and designers interested in applying the technology.

Standard voltages used in today's ICs may vary from about 1.3V to more than 100V, depending on the technology and the application. High voltage is therefore a relative notion. High Voltage Devices and Circuits in Standard CMOS Technologies is mainly focused on standard CMOS technologies, where high voltage (HV) is defined as any voltage higher than the nominal (low) voltage, i.e. 5V, 3.3V, or even lower. In this standard CMOS environment, IC designers are more and more frequently confronted with HV problems, particularly at the I/O level of the circuit. In the first group of applications, a large range of industrial or consumer circuits either require HV driving capabilities, or are supposed to work in a high-voltage environment. This includes ultrasonic drivers, flat panel displays, robotics, automotive, etc. On the other hand, in the emerging field of integrated microsystems, MEMS actuators mainly make use of electrostatic forces involving voltages in the typical range of 30 to 60V. Last but not least, with the advent of deep sub-micron and/or low-power technologies, the operating voltage tends towards levels ranging from 1V to 2.5V, while the interface needs to be compatible with higher voltages, such as 5V. For all these categories of applications, it is usually preferable to perform most of the signal processing at low voltage, while the resulting output rises to a higher voltage level. Solving this problem requires some special actions at three levels: technology, circuit design and layout. High Voltage Devices and Circuits in Standard CMOS Technologies addresses these topics in a clear and organized way. The theoretical background is supported by practical information and designexamples. It is an invaluable reference for researchers and professionals in both the design and device communities.

Computational hydraulics and hydrologic modeling are rapidly developing fields with a wide range of applications in areas ranging from wastewater disposal and stormwater management to civil and environmental engineering. The fields are full of promise, but while an abundance of literature now exists, it contains a plethora of new terms that are not always defined.

Computational Hydraulics and Hydrology: An Illustrated Dictionary defines more that 4000 basic terms and phrases related to water conveyance with emphasis on computational hydraulics and hydrologic modeling. Compiled by Nicolas G. Adrien, a noted consulting engineer with three decades of experience, this dictionary includes detailed references to actual modeling studies, nearly 100 illustrations, 150 equations and formulas, and many notations. It also includes a chapter of application examples and another containing more than 6000 other related terms with a list of resources where interested readers can find further definitions.

Other dictionaries and glossaries related to these areas tend to be either dated or much narrower in scope. This dictionary offers broad, practice-based coverage of terms culled directly from the latest texts, references, and actual engineering reports. Computational Hydraulics and Hydrology: An Illustrated Dictionary stands alone in providing ready access to the vocabulary of these subjects.

Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization. Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics about worst-case and randomized complexity; - Classical solution methods, presenting the two most-known methods for solving hard combinatorial optimization problems, that are Branch-and-Bound and Dynamic Programming; - Elements from mathematical programming, presenting fundamentals from mathematical programming based methods that are in the heart of Operations Research since the origins of this field.

13E 2006, the 6th in this series of IFIP conferences, marked the congregation of researchers and practitioners in the areas of e-Commerce, e-Business, and e-Government. The conference was sponsored by IFIP TC 6 in cooperation with TC 8 and TC 11.

The conference provided a forum for researchers, engineers and interested users in academia, industry, and government to discuss the latest research, cutting-edge practice and upcoming trends in the growing areas of e-Commerce, e-Business, and particularly e-Government. Sophisticated applications as well as the underlying technology that supports such applications were discussed and demonstrated. The conference attracted a wide range of participants representing a significant community of researchers and practitioners from a broad range of countries.

The conference was organized along parallel tracks, each track focusing on specific aspects of current research, industry applications, and public administration.

Developments in electronic hardware, particularly microprocessors and solid-state cameras, have resulted in a vast explosion in the range and variety of applications to which intelligent processing may be applied to yield cost-effective automation. Typical examples include automated visual inspection and repetitive assembly. The technology required is recent and specialized, and is thus not widely known. VISION AND INFORMATION PROCESSING FOR AUTOMATION has arisen from a short course given by the authors to introduce potential users to the technology. Its content is a development and extension of material presented in the course. The objective of the book is to introduce readers to modern concepts and techniques basic to intelligent automation, and explain how these are applied to prac tical problems. Its emphasis is on machine vision. Intelligent instrumentation is concerned with processing infor mation, and an appreciation of the nature of information is essential in configuring instrumentation to handle it effiCiently. An understand ing of the fundamental principles of efficient computation and of the way in which machines make decisions is vital for the same reasons. Selection of appropriate sensing (e.g., camera type and configuration), of illumination, of hardware for processing (microchip or parallel processor?) to give most effective information flow, and of the most appropriate processing algorithms is critical in obtaining an optimal solution. Analysis of performance, to demonstrate that requirements have been met, and to identify the causes if they have not, is also important. All of these topics are covered in this volume."

A cognitive radio is a transceiver which is aware of its environment, its own technical capabilities and limitations, and those of the radios with which it may communicate; is capable of acting on that awareness and past experience to configure itself in a way that optimizes its performance; and is capable of learning from experience. In a real sense, a cognitive radio is an intelligent communications system that designs and redesigns itself in real time. Cognitive Radio Engineering is both a text and a reference book about cognitive radio architecture and implementation, intended for readers who want to design and build working cognitive radios. It takes the reader from conceptual block diagrams through the design and evaluation of illustrative prototypes. An important goal is to bridge the divide between radio engineers, who often have little experience with the computational resource and timing issues inherent in cognitive radios, and computer engineers who often are unaware of RF issues like dynamic range, intermodulation products, and acquisition time. Following a brief overview of cognitive radio history and a high-level look at cognitive radio operation, the book presents a detailed study of cognitive engine design and analysis. After treating RF subsystems the book considers computational platforms and computation issues in cognitive radios, followed by system integration, evaluation methods for cognitive radio, and cognitive radio design for networking. The book concludes with coverage of cognitive radio applications in communications.

This book provides a theoretical and application oriented analysis of deterministic scheduling problems arising in computer and manufacturing environments. In such systems processors (machines) and possibly other resources are to be allocated among tasks in such a way that certain scheduling objectives are met. Various scheduling problems are discussed where different problem parameters such as task processing times, urgency weights, arrival times, deadlines, precedence constraints, and processor speed factor are involved. Polynomial and exponential time optimization algorithms as well as approximation and heuristic approaches (including tabu search, simulated annealing, genetic algorithms, and ejection chains) are presented and discussed. Moreover, resource-constrained, imprecise computation, flexible flow shop and dynamic job shop scheduling, as well as flexible manufacturing systems, are considered.

Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the software domain to the hardware domain (and vice-versa) or the modification of the hardware/software interface. As a result, problems that are encountered during system integration may require modification of the software and/or hardware, resulting in potentially significant cost increases and schedule overruns. To address the problems described above, a cooperative design approach, one that utilizes a unified view of hardware and software, is described. This approach is called hardware/software codesign. The Codesign of Embedded Systems develops several fundamental hardware/software codesign concepts and a methodology that supports them. A unified representation, referred to as a decomposition graph, is presented which can be used to describe hardware or software using either functional abstractions or data abstractions. Using a unified representation based on functional abstractions, an abstract hardware/software model has been implemented in a common simulation environment called ADEPT (Advanced Design Environment Prototyping Tool). This model permits early hardware/software evaluation and tradeoff exploration. Techniques have been developed which support the identification of software bottlenecks and the evaluation of design alternatives with respect to multiple metrics. The application of the model is demonstrated on several examples. A unified representation based on data abstractions is also explored. This work leads to investigations regarding the application of object-oriented techniques to hardware design. The Codesign of Embedded Systems: A Unified Hardware/Software Representation describes a novel approach to a topic of immense importance to CAD researchers and designers alike.

Author Biography:
Gary Lock is University Lecturer in Archaeology at the University of Oxford and is the editor of Archaeology and Geographic Information Systems: A European Perspective, with Zoran Stancic.

Choose the right hardware and software for your school!This unique book is the first systematic work on evaluating and assessing educational information technology. Here you?ll find specific strategies, best practices, and techniques to help you choose the educational technology that is most appropriate for your institution. Evaluation and Assessment in Educational Information Technology will show you how to measure the effects of information technology on teaching and learning, help you determine the extent of technological integration into the curriculum that is best for your school, and point you toward the most effective ways to teach students and faculty to use new technology.Evaluation and Assessment in Educational Information Technology presents: a summary of the last ten years of assessment instrument development seven well-validated instruments that gauge attitudes, beliefs, skills, competencies, and technology integration proficiencies two content analysis instruments for analyzing teacher-student interaction patterns in a distance learning setting an examination of the best uses of computerized testing--as opposed to conventional tests, as used in local settings, to meet daily instructional needs, in online delivery programs, in public domain software, and available commercial and shareware options successful pedagogical and assessment strategies for use in online settings a four-dimensional model to assess student learning in instructional technology courses three models for assessing the significance of information technology in education from a teacher's perspective an incisive look at Michigan's newly formed Consortium of Outstanding Achievement in Teaching withTechnology (COATT) ways to use electronic portfolios for teaching/learning performance assessment and much more!