1075 search results - page 71 / 215 » simulation 2002 |
119
click to vote
ENTCS
2002
15 years 2 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
EOR
2002
15 years 2 months ago
2002
In this paper we propose five heuristic procedures for the solution of the multiple competitive facilities location problem. A franchise of several facilities is to be located in ...
107
click to vote
FUIN
2002
15 years 2 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
107
click to vote
FUIN
2002
15 years 2 months ago
2002
We present a direct universal P system based on splicing. Our approach differs from those shown in previous papers as the P system we construct takes as input an encoding of anothe...
115
click to vote
ECR
2002
15 years 1 months ago
2002
Many new multimedia applications involve dynamic multiple participants, have stringent endto-end delay requirement and consume large amount of network resources. In this paper, we...