241 search results - page 47 / 49 » Conditional e-payments with transferability |
SIAMAM
2000
13 years 6 months ago
2000
This paper deduces a new model aimed at simulating injection molding processes under isothermal conditions. These processes can be generally stated as infiltration problems in init...
NDJFL
1998
13 years 6 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
TASE
2008
IEEE
13 years 5 months ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
RAS
2000
13 years 6 months ago
2000
Mobile robot navigation under controlled laboratory conditions is, by now, state of the art and reliably achievable. To transfer navigation mechanisms used in such small-scale env...
DEDS
1998
13 years 6 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...