This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.

This text provides a superbly researched insight into Markovian demand inventory models. The result of ten years of research, this work covers all aspects of demand inventory where they are modeled by Markov processes. Inventory management is concerned with matching supply with demand and is a central problem in Operations Management. The central problem is to find the amount to be produced or purchased in order to maximize the total expected profit, or minimize the total expected cost.

Inventory management is concerned with matching supply with demand and a central problem in Operations Management. The problem is to find the amount to be produced or purchased in order to maximize the total expected profit or minimize the total expected cost. Over the past two decades, several variations of the formula appeared, mostly in trade journals written by and for inventory managers. A critical assumption in the inventory literature is that the demands in different periods are independent and identically distributed. However, in real life, demands may depend on environmental considerations or the events in the world such as the weather, the state of economy, etc. Moreover, these events are represented by stochastic processes - exogenous or controlled. In Markovian Demand Inventory Models, the authors are concerned with inventory models where these world events are modeled by Markov processes. Their research on Markovian demand inventory models was carried out over a period of ten years beginning in the early nineties. They demonstrate that the optimality of (s, S)-type policies, or base-stock policies (i.e., s = S) when there are no fixed ordering costs with the provision that the policy parameters s and S depend on the current state of the Markov process representing the environment. Models allowing backorders when the entire demand cannot be filled from the available inventory as well as those when the current demand is lost are considered. As for cost criteria, we treat both the minimization of the expected total discounted cost and the long-run average cost. The average-cost criterion is mathematically more difficult than the discounted cost criteria. Finally, wegeneralize the usual assumptions on holding and shortage costs and on demands that are made in the literature.

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification - SV-COMP.

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification - SV-COMP.

Projektarbeit aus dem Jahr 2013 im Fachbereich BWL - Unternehmensfuhrung, Management, Organisation, Fernfachhochschule Schweiz, Sprache: Deutsch, Abstract: Das Ziel der vorliegenden Arbeit ist, die verschiedenen Formen und Ansatze des Innovationsmarketing bei Unternehmen in der Deutschschweiz zu untersuchen. Unsere Forschungsfrage lautet: Welches sind die theoretischen und methodischen Ansatze zum Innovationsmarketing. Eine empirisch quantitative Untersuchung in der deutschsprachigen Schweiz." Dafur wird zum einen eine Literaturrecherche durchgefuhrt und zum anderen eine empirisch-quantitative Erhebung in Form einer Online-Umfrage. Die Umfrage ist als Onlinefragebogen aufgesetzt und wurde uber die Plattform Xing, uber direktes Anschreiben und uber das Netzwerk der FFHS an Personen versandt, die unmittelbar in ihren Unternehmen mit Marketing und/oder Innovationen in Beruhrung kommen. Es erwies sich jedoch als schwierig, genugend Unternehmen zum Beantworten der Umfrage zu bewegen. Umso erfreulicher ist die Tatsache, dass in den knapp drei Wochen der Umfrage, doch insgesamt 47 Unternehmen daran teilnahmen. Mit 55% KMU und 45% Grossunternehmen haben wir es mit einer guten Streuung an Unternehmen zu tun. Die Erhebung gibt Aufschluss daruber, wie die Unternehmen heute Innovationen vermarkten. Untersucht wurden die Schwerpunkte Innovationsprozess, Ideenfindung, Marketing und Kooperationen gekoppelt mit einleitenden Fragen zur Unternehmensgrosse, Mitarbeiteranzahl und zur Position im Unternehmen der Beantwortenden. Aufgrund der erhobenen Daten sehen wir Parallelen zwischen der Methodik der Unternehmen und dem Ergebnis der Literaturrecherche. Wir konnen folgende Aussagen treffen, die aber aufgrund der kleinen Stichprobengrosse keine allgemeingultigen Aussagen zulassen. Innovieren fallt der Halfte (49%) der befragten Unternehmen schwer bis sehr schwer: In funf Jahren wurden weniger als funf Innovationen entwickelt. Vier Unternehmen (9.8%) entwickelten in derselben Zeit uber