Bücher von Klaus-Dieter Schewe

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data-and knowledge-centered systems in large-scale environments. This, the 10th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains seven full papers chosen following two additional rounds of reviewing from revised and extended versions of a selection of papers presented at DEXA 2012. Topics covered include formal modelling and verification of web services, incremental computation of skyline queries, the implication problem for XML keys, lossless data compression, declarative view selection methods, time awareness in recommender systems, and network data mining.

For students and professional developers the book can be used as a whole for educational courses on WIS design and development, as well as for more specific courses on conceptual modelling of WIS, WIS foundations and reasoning, co-design and WIS engineering or WIS layout and playout development.

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers - not only for experts in formal methods, but e.g.