Charting the Topic Maps Research and Applications Landscape ; 1st International Workshop on Topic Map Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers
The papers in this volume were presented at the workshop “Topic Map Research and Applications 2005” held on October 6-7, 2005, in Leipzig. TMRA 2005 was the first workshop of an annual series of international workshops dedicated to topic maps in research and industry. As the motto “Charting the Topic Maps Research and Applications Landscape” suggests, the aim of TMRA 2005 was to identify the primary open issues in research, learn about who is working on what, bring together researchers and application pioneers, stimulate the systematic tackling of such issues, and foster the exchange of ideas in a stimulating setting.
Characterisation in Federations : Six Countries Compared
In this work Dr. Taylor surveys the federal countries of the world and asks how they divide power among the constituent units of the federation. In so doing, he considers not only the formal constitutional text, but, far more importantly, the case law that has grown up around it as the Courts develop approaches to interpreting provisions for the distribution of powers. This enables conclusions to be drawn about the effectiveness of various structural and interpretative approaches to the distribution of powers within federations.
CGE models and capital income tax reforms : The case of a dual income tax for Germany
The book suggests a novel way how the effects of tax reforms especially in the field of capital income taxation can be measured by means of dynamic computable general equilibrium (CGE) models.
Business processes : An archival science approach to collaborative decision making, records, and knowledge management
Collaborative decision making processes are a form of communication inside organizations. Their functioning can teach lessons for the design of electronic office systems. Those processes are open ended and therefore decide themselves on their form. Like oral deliberations which cannot be modelled in advance any open ended communication process needs means for common control over the further advancement and the ending of the process.The book is a reworked English version of a thesis for the official qualification for university professorship accepted by the German University of Administrative Sciences Speyer. Germany.
Business modeling and software design ; 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings
This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, BMSD 2020, which took place in Berlin, Germany, in July 2020. BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems.
Business criminal law: A primer for management and economics
Deals with business criminal law from the perspective of Germany, Austria, Liechtenstein and Switzerland. It primarily addresses students in business and economics (master's programme) as well as business practitioners, but is also meant for lawyers and law students. As criminal law legislators exert considerable influence on economic life, raising and growing awareness in the area of criminal law seems compulsory for future managers and executives. This textbook approaches the legal field less normatively and rather in a practical and entrepreneurial way. Its contents are based on the master level class "Business Criminal Law
Building a Future with BRICs : The Next Decade for Offshoring
In 2003, Goldman Sachs published a startling report on the BRICs (Brazil, Russia, India, and China) region: These four countries would be larger than the G6 economics within 40 years, muscling their way to economic dominance over the coming decades, and powering past developed countries such as the United Kingdom, Germany, and Japan. This book focuses on the technology and technology-enabled services that underpin this social and economic revolution. The editor analyses the reasons why these four countries are in a unique position to lead a 21st century growth in international services. He then features 12 chapters written by the most important chief executives from the BRICs service economy. Indian technology leaders, such as Nandan Nilekani (Infosys), Shiv Nadar (HCL), and Rajendra Pawar (NIIT), feature alongside their peers from Brazil, Russia, and China outlining their views on the next decade for offshoring.
Bioinformatics research and development ; 1st International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings
This volume covers a wide range of topics related to bioinformatics like microarray data, genomics, single nucleotide polymorphism, sequence analysis, systems biology, medical applications, proteomics, information systems.
B 2007 : Formal Specification and Development in B ; 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomes fahren : Technische, rechtliche und gesellschaftliche aspekte = Autonomous driving : Technical, legal and social aspects
This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central topics related to the automation of vehicles on public roads from an engineering and social science perspective. They show which "decisions" are required of an autonomous vehicle or which "ethics" must be programmed. The authors discuss expectations and concerns that characterize the individual and societal acceptance of autonomous driving. An increased safety potential through autonomous vehicles is compared to the challenges and solution approaches that play a role in securing the safety concept. In addition, they explain what possibilities for change and opportunities arise for our mobility and the reorganization of traffic, not least for freight traffic. The book thus offers an up-to-date, comprehensive and scientifically sound examination of the topic of "autonomous driving".
Automotive production systems and standardisation : From Ford to the case of Mercedes-Benz
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the creation and introduction of company-specific standardised production systems. This book contributes to the debate about production systems by examining the social and economic implications of the role of standardisation in production systems. In this context it addresses three core issues: First, the driving forces behind the changing forms and functions of standardisation and the role of institutions therein. Second, the impact of standardisation on the evolution of automotive production systems. Third, based on the author's own empirical research conducted over a three year period at the Mercedes-Benz plant Stuttgart-Untertürkheim/Germany, the book examines the influence of standardisation on the work of actors on the shop floor in terms of organisational learning processes and the regulation of work.
Automated reasoning with analytic tableaux and related methods ; International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
Automated deduction – CADE-21 ; 21st International Conference on automated deduction, Bremen, Germany, July 17-20, 2007, Proceedings
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
Assessing Quality in European Higher Education Institutions : Dissemination, Methods and Procedures
This book collects the evaluation and accreditation experiences gathered by higher education institutions in Finland, France, Germany, Italy, the Netherlands, Portugal, the United Kingdom and Sweden.
Artificial neural networks in Pattern Recognition ; 2nd IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
This book constitutes the refereed proceedings of the Second IAPR Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2006, held in Ulm, Germany in August/September 2006. The 26 revised papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on unsupervised learning, semi-supervised learning, supervised learning, support vector learning, multiple classifier systems, visual object recognition, and data mining in bioinformatics
Arnheim, Gestalt and Art : A Psychological Theory
The book discovers an unappreciated unity to Arnheim’s thinking. Not content to simply summarize Arnheim’s theory, however, Arnheim, Art, and Gestalt goes on to enrich (and occasionally question) Arnheim’s findings with the contemporary results of gestalt-theoretical research from around the world, but especially in Italy and Germany. The result is a workable overview of the psychology of art with bridges built to contemporary research, making Arnheim’s approach living and sustainable.
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
Architecture of computing systems - ARCS 2006 ; 19th International Conference, Frankfurt / Main, Germany, March 13-16, 2006, Proceedings
Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades.Eventhough it is quite clear that this development cannot only be measured by the ma- mum number of components on a chip, Moore’s Law may be and is often taken as a simple measure for the non-braked growth of computational power over the years. The more components are realizable on a chip, the more innovative and unconventional ideas can be realized by system architects. As a result, research in computer system architectures is more exciting than ever before. This book coversthe trends that shape the ?eld of computer system archit- tures.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.



















