You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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. Feasib...
This book presents the thoroughly refereed joint post-proceedings of three workshops held during the 17th International Conference on Conceptual Modeling, ER '98, in Singapore in November 1998. The 50 revised papers presented have gone through two rounds of reviewing and revision. The book is divided in sections on knowledge discovery, data mining, data and web warehousing, multidimensional databases, data warehouse design, caching, data dissemination, replication, mobile networks, mobile platforms, tracking and monitoring, collaborative work support, temporal data modelling, moving objects and spatial indexing, spatio-temporal databases, and video database contents.
This book constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. The 90 revised full papers presented were carefully reviewed and selected from 256 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load-balancing; high performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; peer to peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; multicore and manycore programming; theory and algorithms for parallel computation; high performance networks; and mobile and ubiquitous computing.
This volume constitutes the refereed proceedings of the 17th International Conference on Conceptual Modeling, ER '98, held in Singapore, in November 1998. The 32 revised full papers presented were carefully reviewed and selected from a total of 95 submissions. The book is divided into chapters on conceptual modeling and design, user interface modeling, information retrieval on the Web, semantics and constraints, conceptual modeling tools, quality and reliability metrics, industrial experience in conceptual modeling, object-oriented database management systems, data warehousing, industrial case studies, object-oriented approaches.
This book constitutes the refereed proceedings of the 7th Asian Computing Science Conference, ASIAN 2002, held in Hanoi, Vietnam in December 2002. The 17 revised full papers presented together with two invited contributions were carefully reviewed and selected from 30 submissions. The conference was devoted to Internet computing and modeling, grid computing, peer-to-peer systems, and cluster computing. Among the issues addressed are scalable infrastructure for global data grids, distributed checkpointing, list coloring, parallel debugging, combinatorial optimization, video on demand servers, caching, grid environments, network enabled servers, multicast communication, dynamic resource allocation, traffic engineering, path-vector protocols, Web-based Internet broadcasting, Web-based middleware, and subscription-based Internet services.
The two-volume set CCIS 1712 and 1713 constitutes the proceedings of the 21st Asian Simulation Conference, AsiaSim 2022, which took place in Changsha, China, in January 2023. Due to the Covid pandemic AsiaSim 2022 has been postponed to January 2023. The 97 papers presented in the proceedings were carefully reviewed and selected from 218 submissions. The contributions were organized in topical sections as follows: Modeling theory and methodology; Continuous system/discrete event system/hybrid system/intelligent system modeling and simulation; Complex systems and open, complex and giant systems modeling and simulation; Integrated natural environment and virtual reality environment modeling and...
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
This book constitutes the refereed proceedings of the Second International Symposium on Computational Life Sciences, CompLife 2006. The 25 revised full papers presented were carefully reviewed and selected from 56 initial submissions. The papers are organized in topical sections on genomics, data mining, molecular simulation, molecular informatics, systems biology, biological networks/metabolism, and computational neuroscience.
We welcome you to the 6th International Conference on E-Commerce and Web Technology (EC-Web 2005) held in Copenhagen, Denmark. It was held in conjunction with DEXA 2005. This conference was organized for the first time in Greenwich, UK, in 2000, and it has been able to attract an increasing number of participants and interest, reflecting the progress made in the field. As in the five previous years, EC-Web 2005 served as a forum that brought together researchers from academia and practitioners from industry to discuss the current state of the art in e-commerce and Web technologies. We are sure that inspirations and new ideas emerged from the intensive discussions that took place during the f...
This volume constitutes the proceedings of the 20th Asian Simulation Conference, AsiaSim 2021, held as a virtual event in November 2021. The 9 full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on simulation and visualization; modeling and simulation of systems.