While new solutions for supporting migratory interfaces are emerging, there is still a lack of analysis of their impact on users. In this paper we discuss the design of a solution for trans-modal migratory interfaces in multidevice and results obtained testing it with users. We conducted a study aimed at evaluating the user impact of a migration service applied to platforms supporting different...

this study aims to deal with a more realistic combined problem of project scheduling and material ordering. the goal is to minimize the total material holding and ordering costs by determining the starting time of activities along with material ordering schedules subject to some constraints. the problem is first mathematically modelled. then a hybrid simulated annealing and genetic algorithm is...

In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of conflict and two quantities of agreement are defined. The former is shown to be a generalization of the well-known Dalal distance which is the hamming distance between two interpretations. The latter are, respectively, a...

In this paper, we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of conflict and two quantities of agreement are defined. The former is shown to be a generalization of the Dalal distance. The latter are, respectively, a quantity of strong agreement which measures the amount of informati...

Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distribute...

this paper presents a new formulation for warehouse inventory management in a stochastic situation. the primary source of this formulation is derived from fp model, which has been proposed by fletcher and ponnambalam for reservoir management. the new proposed mathematical model is based on the first and the second moments of storage as a stochastic variable. using this model, the expected value...

this paper is a research on the ordering planning of a supply chain with one supplier, multi buyer and multi deteriorating items. items have fixed life time and expire dates. the ordering period is taken as variable and must be computed the proposed models. the problem is studied via two different approaches the first is the joint replenishment, based on the hwang and chew's model [3] and ...

We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting. Based on an operational semantics, we deene a bisimulation semantics. As the bisimulation semantics does not characterise fault tolerance we deene preorders which introduces a hierarchy of faulty proc...

The paper presents the veriication of a functional misbehavior in TCP, that is one of the widely used transport protocols used in the Internet. The solution that was developed by I. Heavens is veriied for its correctness. A model checking approach is used to verify TCP: the protocol is described in LOTOS and the requirements are given in the modal-calculus. The veriication uses the CADP tool se...