الصفحة 42
الصفحة 42
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Construction 4.0 : advanced technology, tools and materials for the digital transformation of the construction industry
Construction 4.0 Advanced Technology, Tools and Materials for the Digital Transformation of the Construction Industry provides readers with a state-of-the-art review of the ongoing digital transformation of the sector within the new 4.0 framework, presenting a thorough investigation of the emerging trends, technologies, and strategies in the fields of smart building design, construction.
Constructing Roma Migrants : European Narratives and Local Governance
This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks on the life of ‘Roma migrants’ in Europe. It outlines the creation and implementation of Roma policies at the European level, provides a systematic understanding of identity-based exclusion and explores concrete case studies that reveal how integration and immigration policies work in practice. The book also shows how the Roma example might be employed in tackling the governance implications of our increasingly complex societies and assesses its potential and limitations for integration policies of vulnerable groups such as refugees and other discriminated minorities.
Constructing a consumer-focused industry : cracks, cladding and crisis in the residential construction sector
Through evidence-based research and international case studies, this book focuses on the effects that dangerous defects have on the housing consumer.
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
Conservation in the 21st century : Gorillas as a case study
this book is essential reading for primatologists, biologists, and conservationists searching for both a current assessment of the gorilla’s conservation status and, importantly, for ideas and tools that show promise of halting or reversing population declines and putting us on a path to achieving a stable, long-term co-existence of human and wildlife populations.
Confronting Scale in Archaeology : Issues of Theory and Practice
This book discusses the cultural, social and spatial aspects of scale and its impact on archaeology in practical and applicable cases. Each author takes one of the fundamental elements of archaeology - from the experience of time and space to the visualization of individuals, sites and landscapes to the intricacies of archaeological discourse - and shows how an awareness of scale can create new and exciting interpretations.
Conflict prevention in project management : Strategies, methods, checklists, and case studies
This handbook is about the handling of external conflicts in international technical projects written for Project Managers and Engineers, Sales Managers, Executives and Legal Managers as seen from the client's as well as from the contractor's side. It is also for students seeking to become leaders in these disciplines and not to reproduce mistakes that others have made before them. The book does not try to give legal advice, but it helps engineers and project managers how to plan and execute their project in order to avoid major conflicts during the project.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
Concrete permeability and durability performance: from theory to field applications
Durability and service life design of concrete constructions have considerable socio-economic and environmental consequences, in which the permeability of concrete to aggressive intruders plays a vital role.Concrete Permeability and Durability Performance provides deep insight into the permeability of concrete, moving from theory to practice, and presents over 20 real cases.
Concrete bridge strengthening and repair
Covering a wide range of structural elements and related defects, this collection of twenty concrete bridge strengthening and repair case studies showcases solutions to real problems encountered in the field and the processes by which those solutions were developed. Drawing on a lifetime of experience Atkins consultant Iain Kennedy Reid provides insight into methods of investigation and diagnosis of problems relating to beams, slabs, columns and panel walls, as well as how to apply demand-led research to these problems in a practical way.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Conceptual Structures: Knowledge Architectures for Smart Applications ; 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The book covers computer science, information technology,artificial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social benefits. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, desion making, the creation of intelligent software systems and the exploration of implicit structures.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that support natural language production and understanding, and other manifestations of cognition. One fundamental question raised in the text is whether requisite knowledge structures can be adequately modeled by means of a uniform representational format, and if so, what exactly is its nature. Frames are a key topic covered which have had a strong impact on the exploration of knowledge representations in artificial intelligence, psychology and linguistics; cascades are a novel development in frame theory. Other key subject areas explored are: concepts and categorization, the experimental investigation of mental representation, as well as cognitive analysis in semantics. This book is of interest to students, researchers, and professionals working on cognition in the fields of linguistics, philosophy, and psychology.
Concepts in action : Representation, learning, and application
This book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
Concept and Design Developments in School Improvement Research : Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability
This book discusses challenges in school improvement research and different methodological approaches that have the potential to foster school improvement research. Research on school improvement and accountability analysis places high demands on a study’s design and method. The potential of combining the depth of case studies with the breath of quantitative measures and analyses in a mixed-methods design seems very promising. Consequently, the focus of the book lies on innovative methodological approaches.
Computer-aided Systems in Public Transport
This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling of Public Transport (CASPT 2004), which was held at the Hilton San Diego Resort and Conference Center in San Diego, California, USA, from August 9-11, 2004. The CASPT 2004 conference is the continuation of a series of international workshops and conferences prese- ing recent research and progress in computer-aided scheduling in public transport.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
