983 resultados para service logic
Resumo:
Activity systems are the cognitively linked groups of activities that consumers carry out as a part of their daily life. The aim of this paper is to investigate how consumers experience value through their activities, and how services fit into the context of activity systems. A new technique for illustrating consumers’ activity systems is introduced. The technique consists of identifying a consumer’s activities through an interview, then quantitatively measuring how the consumer evaluates the identified activities on three dimensions: Experienced benefits, sacrifices and frequency. This information is used to create a graphical representation of the consumer’s activity system, an “activityscape map”. Activity systems work as infrastructure for the individual consumer’s value experience. The paper contributes to value and service literature, where there currently are no clearly described standardized techniques for visually mapping out individual consumer activity. Existing approaches are service- or relationship focused, and are mostly used to identify activities, not to understand them. The activityscape representation provides an overview of consumers’ perceptions of their activity patterns and the position of one or several services in this pattern. Comparing different consumers’ activityscapes, it shows the differences between consumers' activity structures, and provides insight into how services are used to create value within them. The paper is conceptual; an empirical illustration is used to indicate the potential in further empirical studies. The technique can be used by businesses to understand contexts for service use, which may uncover potential for business reconfiguration and customer segmentation.
Resumo:
An algebraic generalization of the well-known binary q-function array to a multivalued q-function array is presented. It is possible to associate tree-structure realizations for binary q-functions and multivalued q-functions. Synthesis of multivalued functions using this array is very simple
Resumo:
The announcement of Turkey as a European Union (EU) candidate country in the Helsinki Summit (10, 11 December 1999) marked a distinct change of identity policy and attitudes towards its citizens. A result in the shift of mindset has been the launch of the first public service broadcasting TV channel for Kurdish people on the 1st of January 2009. TRT 6 (Şeş) broadcasting in unofficial Kurdish language is run by Turkish Radio and Television Corporation (TRT). The thesis attempts to elaborate on the discussions surrounding the launch of TRT 6, Turkey’s first public service broadcasting TV channel for its Kurdish citizens. The research aims at finding the discourses of multiculturalism and public service broadcasting through the mainstream Turkish newspapers, Cumhuriyet, Hurriyet, Sabah, Taraf and Zaman. The method used for the research is Critical Discourse Analysis (CDA) and the representative newspapers of the Turkish print media are under the question: How has the launch of TRT 6, as the first public service broadcasting channel of Turkey in Kurdish language, been discussed by Turkish daily newspapers in terms of multiculturalism and minority media? The most significant results of the research is that the concerning newspapers have mostly discussed the launch of TRT 6 in the same line with their political affiliation. Thus it is comprehensively concluded that the selected newspapers proved holding a high level of political parallelism, and low professionalism. However, it should be noted that Taraf differs itself from others while challenging the hegemonic discourses embedded in the articles of the other newspapers. Moreover, the study detected three types of discourses: Pro-multiculturalism discourse, Unification discourse, and Assimilation discourse. It can be concluded that in Turkey, media owners and even individual journalists have incentives to form ideological alliances with political parties, and media appears to be an instrument of power struggle. Today, Turkey seems to restore Kurdish identity in its identity policy and aims to proceed with the negotiation for membership of the European Union (EU). The country still strives to transform from the traditional nation-state to a multiethnic democratic state, with multiculturalism as a policy discussed throughout the two terms that the AKP government has been in power. However, this transformation is not an easy process because of the deep-rooted traditions of the nation-state structure that has also polarized the Turkish press.
Resumo:
The management and coordination of business-process collaboration experiences changes because of globalization, specialization, and innovation. Service-oriented computing (SOC) is a means towards businessprocess automation and recently, many industry standards emerged to become part of the service-oriented architecture (SOA) stack. In a globalized world, organizations face new challenges for setting up and carrying out collaborations in semi-automating ecosystems for business services. For being efficient and effective, many companies express their services electronically in what we term business-process as a service (BPaaS). Companies then source BPaaS on the fly from third parties if they are not able to create all service-value inhouse because of reasons such as lack of reasoures, lack of know-how, cost- and time-reduction needs. Thus, a need emerges for BPaaS-HUBs that not only store service offers and requests together with information about their issuing organizations and assigned owners, but that also allow an evaluation of trust and reputation in an anonymized electronic service marketplace. In this paper, we analyze the requirements, design architecture and system behavior of such a BPaaS-HUB to enable a fast setup and enactment of business-process collaboration. Moving into a cloud-computing setting, the results of this paper allow system designers to quickly evaluate which services they need for instantiationg the BPaaS-HUB architecture. Furthermore, the results also show what the protocol of a backbone service bus is that allows a communication between services that implement the BPaaS-HUB. Finally, the paper analyzes where an instantiation must assign additional computing resources vor the avoidance of performance bottlenecks.
Resumo:
Coastal lagoons are complex ecosystems exhibiting a high degree of non-linearity in the distribution and exchange of nutrients dissolved in the water column due to their spatio-temporal characteristics. This factor has a direct influence on the concentrations of chlorophyll-a, an indicator of the primary productivity in the water bodies as lakes and lagoons. Moreover the seasonal variability in the characteristics of large-scale basins further contributes to the uncertainties in the data on the physico-chemical and biological characteristics of the lagoons. Considering the above, modelling the distributions of the nutrients with respect to the chlorophyll-concentrations, hence requires an effective approach which will appropriately account for the non-linearity of the ecosystem as well as the uncertainties in the available data. In the present investigation, fuzzy logic was used to develop a new model of the primary production for Pulicat lagoon, Southeast coast of India. Multiple regression analysis revealed that the concentrations of chlorophyll-a in the lagoon was highly influenced by the dissolved concentrations of nitrate, nitrites and phosphorous to different extents over different seasons and years. A high degree of agreement was obtained between the actual field values and those predicted by the new fuzzy model (d = 0.881 to 0.788) for the years 2005 and 2006, illustrating the efficiency of the model in predicting the values of chlorophyll-a in the lagoon.
Resumo:
The increasing variability in device leakage has made the design of keepers for wide OR structures a challenging task. The conventional feedback keepers (CONV) can no longer improve the performance of wide dynamic gates for the future technologies. In this paper, we propose an adaptive keeper technique called rate sensing keeper (RSK) that enables faster switching and tracks the variation across different process corners. It can switch upto 1.9x faster (for 20 legs) than CONV and can scale upto 32 legs as against 20 legs for CONV in a 130-nm 1.2-V process. The delay tracking is within 8% across the different process corners. We demonstrate the circuit operation of RSK using a 32 x 8 register file implemented in an industrial 130-nm 1.2-V CMOS process. The performance of individual dynamic logic gates are also evaluated on chip for various keeper techniques. We show that the RSK technique gives superior performance compared to the other alternatives such as Conditional Keeper (CKP) and current mirror-based keeper (LCR).
Resumo:
Since the 1970s alcohol and drug use by pregnant women has become a target of political, professional and personal concern. The present study focuses on prenatal substance use and the regulation of risks by examining different kinds of societal responses to prenatal alcohol and drug use. The study analyses face-to-face encounters between professionals and service users at a specialised maternity clinic for pregnant women with substance abuse problems, medical and political discourses on the compulsory treatment of pregnant women as a means of FAS prevention and official recommendations on alcohol intake during pregnancy. Moreover, the study addresses the women s perspective by asking how women who have used illicit drugs during pregnancy perceive and rank the dangers linked to drug use. The study consists of five empirical sub-studies and a summary article. Sub-study I was written in collaboration with Dorte Hecksher and Sub-study IV with Riikka Perälä. Theoretically the study builds on the one hand, on the socio-cultural approach to the selection and perception of risks and on the other on governmentality studies which focus on the use of power in contemporary Western societies. The study is based on an ethnographic approach and makes use of the principles of multi-sited ethnography. The empirical sub-studies are based on three different types of qualitative data: ethnographic field notes from a maternity clinic from a period of 7 months, documentary material (medical journals, political documents, health education materials, government reports) and 3) interviews from maternity clinics with clients and members of staff. The study demonstrates that the logic of the regulation of prenatal alcohol use in Finland is characterised by the rise of the foetus , a process in which the urgency of protecting the foetus has gradually gained a more prominent role in the discourses on alcohol-related foetal damage. An increasing unwillingness to accept any kinds of risks when foetal health is at stake is manifested in the public debate on the compulsory treatment of pregnant women with alcohol problems and in the health authorities decision to advise pregnant women to refrain from alcohol use during pregnancy (Sub-studies I and II). Secondly, the study suggests that maternity care professionals have an ambivalent role in their mundane encounters with their pregnant clients: on the one hand professionals focus on the well-being of the foetus, but on the other, they need to take into account the women s needs and agency. The professionals daily encounters with their clients are thus characterised by hybridisation: the simultaneous use of technologies of domination and technologies of agency (Sub-studies III and IV). Finally, the study draws attention to the women s understanding of the risks of illicit drug during pregnancy, and shows that the women s understanding of risk differs from the bio-medical view. The study suggests that when drug-using pregnant women seek professional help they can feel that their moral worth is threatened by professionals negative attitudes which can make service-use challenging.
Resumo:
A number of companies are trying to migrate large monolithic software systems to Service Oriented Architectures. A common approach to do this is to first identify and describe desired services (i.e., create a model), and then to locate portions of code within the existing system that implement the described services. In this paper we describe a detailed case study we undertook to match a model to an open-source business application. We describe the systematic methodology we used, the results of the exercise, as well as several observations that throw light on the nature of this problem. We also suggest and validate heuristics that are likely to be useful in partially automating the process of matching service descriptions to implementations.
Resumo:
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of Indian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the subject matter of logic. The science of logic evolved in India through three ages: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent system. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowledge base of the system i.e. ensuring that the knowledge is complete and consistent. It is in this context that comparative study of Indian logic with recent theories of logic, language and knowledge engineering will help the computer scientist understand the deeper implications of the terms and concepts he is currently using and attempting to develop.
Resumo:
Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.
Resumo:
Consider a single-server multiclass queueing system with K classes where the individual queues are fed by K-correlated interrupted Poisson streams generated in the states of a K-state stationary modulating Markov chain. The service times for all the classes are drawn independently from the same distribution. There is a setup time (and/or a setup cost) incurred whenever the server switches from one queue to another. It is required to minimize the sum of discounted inventory and setup costs over an infinite horizon. We provide sufficient conditions under which exhaustive service policies are optimal. We then present some simulation results for a two-class queueing system to show that exhaustive, threshold policies outperform non-exhaustive policies.