Irmj

Technological advances in information technology have created many new ways and structures in our lives. Organizations now are mastering services of this technology in their business strategies, productivity, customer services, and other managerial functions to stay competitive. With a focus on the global issues of IT and its implications on organization, this proceedings includes all the presentations of this international conference.

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design.

"Geared for managers and business practitioners operating in a web-centric environment, this text presents the most current research on information management in conjunction with support systems and multimedia technology. The useful models of decision making provided incorporate cooperative information processing, knowledge-based personalizations, and intelligent transportation systems. Electronic journalism, distance learning, and activity theory are also covered."

Inhaltsangabe:Abstract: This survey has shown that, although the internet is full of information, it is difficult to find the information required fast. Before starting an internet survey, it is essential to be conscious of the intention of the search and the expected results and to translate this into one or more keywords. The intention of the keyword searches knowledge management and intellectual capital was to find out how the topic is treated on different pages. The categorization by content has shown that a main part of the links can be assigned in the advertisement categories. This is the case for both, the hits of MetaCrawler and those of Umap. A further community of the results of the two search instruments is that the catego-ries knowledge base and best practices only take a small part whereas the categories content discussion and collection of resources are relatively well-attended. Great importance has been attached to the categorie content discussion in the index and chapter 6 is fully dedicated to interesting links concerning the content. This is because the discussion of the topics, combined with definitions and explanations, is the background and the basis for the rest of the categories. As the assignment to the categorie content discussion does not declare anything about the quality of the discussions, the index in chapter 4 has to be included in the study. Strictly speaking, a great part of those links is dedicated to advertisement and gives some explanations concerning the topics. It has been detected that most of the pages with content discussion give only a short introduction into the topic. The pages that examine the topics more closely are an exception to the rule. Five links of this minority are introduced in chapter 6. Two of them are very interesting pages concerning the content. They are listed at top position, because different opinions concerning knowledge management and intellectual capital are introduced, the topics are treated in great detail and the explanations are good and quite easy to duplicate. In order to find out, if the results are capable to represent the totality, the reliability of the categorization, built up with Umap (artificial intelligence) and that built by human intelligence have been analyzed with the means of hypothesises. The test of the hypothesises, that are based on a comparison of the results and processes of the categorizations, has shown that the categorization by [...]

Many factors can impact large-scale enterprise management systems, and maintaining these systems can be a complicated and challenging process. Therefore, businesses can benefit from an assortment of models and management styles to track and collect data for processes. Enterprise Business Modeling, Optimization Techniques, and Flexible Information Systems supplies a wide array of research on the intersections of business modeling, information systems, and optimization techniques. These various business models and structuring methods are proposed to provide ideas, methods, and points of view for managers, practitioners, entrepreneurs, and researchers on how to improve business processes.