This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment.
This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic and reflective viewpoint statements.
The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics.
This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), held in Trento (Italy) from 9 to 11 September 1999.
th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002.
Financial Cryptography 2000 marked the fourth time the technical, business, legal, and political communities from around the world joined together on the smallislandofAnguilla,BritishWestIndiestodiscussanddiscovernewadvances in securing electronic ?
The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, processing, and storage.
Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling.
This volume contains the papers selected for presentation at the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, held in Maebashi City, Japan, 28-31 October, 2003.
These proceedings contain the papers accepted for presentation at the Second International Semantic Web Conference (ISWC 2003) held on Sanibel Island, Florida, U.
PKC 2003 was the Sixth International Workshop on Practice and Theory in Public Key Cryptography and was sponsored by IACR, the International As- ciation for Cryptologic Research (www.
This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2004), which was held at the University of California, Davis during November 15-17, 2004.
This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003).
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?
nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced research results in all - undational and applied areas of pervasive and ubiquitous computing.
This book focuses on the development of multisensor fusion algorithms for wearable devices that are useful in ambulatory health monitoring using signal-processing and deep learning-based methods.
This book focuses on the development of multisensor fusion algorithms for wearable devices that are useful in ambulatory health monitoring using signal-processing and deep learning-based methods.
This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.
This book provides a comprehensive guide to DevSecOps in modern multi-cloud environments, focusing on integrating security, automation, and artificial intelligence across the software development lifecycle.
This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems.