Informatik (15.755 Artikel)

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club...

Invited Talks (Abstracts).- State Abstraction in Real-Time Heuristic Search.- Abstraction and Reformulation in the Generation of Constraint Models.- A Framework for Integrating Optimization and Con...

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and ...

This book mainly aims at researchers and advanced professionals in the areas of software engineering who would like to get an overview about the achievement made in various topics relevant for indu...

This book mainly aims at researchers and advanced professionals in the areas of software engineering who would like to get an overview about the achievement made in various topics relevant for indu...

This book constitutes the refereed proceedings of the 22nd Smoky Mountains Computational Sciences and Engineering Conference on Accelerating Science and Engineering Discoveries Through Integrated R...

This textbook provides new direction for access control management and online business, with new challenges within Blockchain technology that may arise in cloud environments. One is related to the ...

This textbook provides new direction for access control management and online business, with new challenges within Blockchain technology that may arise in cloud environments. One is related to the ...

Access Control Models and Architectures For IoT and Cyber Physical Systems

Access Control Models and Architectures For IoT and Cyber Physical Systems

Accountable and Explainable Methods for Complex Reasoning over Text

Accuracy Improvements in Linguistic Fuzzy Modeling

Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human f...

9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers

ACRI'96 is the second conference on Cellular Automata for Research and Industry; the first one was held in Rende (Cosenza), on September 29-30, 1994. This second edition confirms the growing intere...