This paper proposes an adaptive invalidate/update protocol for software distributed shared memory(DSM), which use the working-set notion of a conventional operating system as the criteria for determining whether to update or invalidate. The proposed protocol can adjust the amount of update messages as changing the value of working-set size. The proposed protocol was implemented in CVM[4], a sof...

* 0-7803-7952-7/03/$17.00  2003 IEEE. Abstract Multi-dimension Workflow net (MWF-net) [1], which includes process, organization, and resource perspectives, is introduced. Using the structure analysis of the TWF-net in the process perspective and the perspectives mapping, the routing of transaction instances in the multi-TWF-nets can be projected into the flow of transaction instance between di...

In this paper, we demonstrate the impact of Multiword Expression (MWE) resources in the task of MWE recognition in text. We present results based on the Wiki50 corpus for MWE resources, generated using unsupervised methods from raw text and resources that are extracted using manual text markup and lexical resources. We show that resources acquired from manual annotation yield the best MWE taggi...

0 Getting Started 94 0.1 Installing Matita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 0.2 Preparing a working directory . . . . . . . . . . . . . . . . . . . . . . 95 0.3 Matita interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 0.4 Browsing the library . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 0.5 Live DVD . . . . . . . . . . . . . . . . ....

Nowadays, enterprises cooperate more extensively with other enterprises during the entire product life cycle. Temporary alliances between various enterprises emerge such as those in Virtual Enterprises. Collaborative applications are demanded that enable enterprises to engage in such endeavors. This paper aims to present a framework with which collaborative applications can be characterized and...

The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from professional practice. This allows us to use assessment strategies that are different from the practice in traditional educational settings. In the Virtual Company educational scenario the competence assessment procedure...

Purpose – The purpose of this paper is to propose how to minimize the risks of implementing business process reengineering (BPR) by measuring readiness. For this purpose, the paper proposes an assessment approach for readiness in BPR efforts based on the critical success and failure factors. Design/methodology/approach – A relevant literature review, which investigates success and failure indic...

Introduction:     women's  employment  is one of the fundamental problems in breastfeeding. Studies have shown that after delivery, amount of milk is  equal in the mothers working and non-working. But  after several   months will be reduced markedly. Methods: In this study, with different departments was done coordination , and interviewed with the 351 mothers that had children under two years...