RFID IN REVERSE LOGISTICS RESEARCH FRAMEWORK AND ROADMAP

Reverse logistics is constantly gaining in importance for both research and practice. Research on RFID has so far concentrated on the use of RFID in order to support forward logistics processes, but is beginning to realize the specific potentials and benefits of RFID systems in this evolving research area. IS research has so far addressed individual and rather isolated aspects of this topic. In order to promote this evolving field of RFID research, we present a structuring framework and propose a roadmap for future research

Assessing the Effects of Enhanced Supply Chain Visibility Through RFID

The majority of RFID implementations can be traced back either to mandates issued by companies or institutions with significant market power like Wal-Mart or the U.S. Department of Defense, or to the replacement of existing Auto-ID technologies like barcodes. Only sporadically is RFID being used to derive superior information about current processes in order to create supply chain visibility. In this contribution, we examine the visibility potentials of RFID technology within the context of SCM and we propose a four-step approach to assessing the results that can be achieved through visibility

Weighted pushdown systems and their application to interprocedural dataflow analysis

AbstractRecently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-all-paths value (for paths that meet a certain criterion). This paper shows how weighted PDSs yield new algorithms for certain classes of interprocedural dataflow-analysis problems

CFA2: a Context-Free Approach to Control-Flow Analysis

In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch introduces precision-degrading spurious control-flow paths and increases the analysis time. We describe CFA2, the first flow analysis with precise call/return matching in the presence of higher-order functions and tail calls. We formulate CFA2 as an abstract interpretation of programs in continuation-passing style and describe a sound and complete summarization algorithm for our abstract semantics. A preliminary evaluation shows that CFA2 gives more accurate data-flow information than 0CFA and 1CFA.Comment: LMCS 7 (2:3) 201

The motivation for the use of metaphor in bird names

This thesis aims to explore the possible reasons that motivate speakers to use metaphors in the naming units of natural organisms. The work deals with various approaches to the concept of metaphor, especially the concept of image metaphors defined by Lakoff (1992). This is followed by the description of onomasiology and onomasiological word formation models applied in the analysis. For the work, a corpus of metaphorical bird names was created. The names were sorted by the types of salient features that the metaphors express. The subsequent analysis takes place within these categories. In evaluating the motivation for the use of metaphor in the naming units, I adopted the classification suggested in Kos (2019), which I supplement with the newly observed trends. The resulting data are quantified and interpreted