241 search results - page 11 / 49 » Conditional e-payments with transferability |
CCE
2007
13 years 7 months ago
2007
An original dimensionless study of the pure evaporation and precipitation stages of a spray pyrolysis process has been performed. An estimation of the evaporation time is proposed...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—The present work describes the analysis, modeling and control of a transformerless Boost-Buck power inverter used as a DC-AC power conditioning stage for grid-connected photovol...
MOBISYS
2004
ACM
14 years 7 months ago
2004
ACM
In this paper, we consider the problem of file synchronization when a mobile host shares files with a backbone file server in a network file system. Several diff schemes have been...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...