241 search results - page 10 / 49 » Conditional e-payments with transferability |
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper examines the problem of code-generation for expression trees on non-homogeneous register set architectures. It proposes and proves the optimality of an O(n) algorithm f...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...
HICSS
2000
IEEE
14 years 3 hour ago
2000
IEEE
Preserving and fostering knowledge is the vital interest of a network-like virtual organization. The decentralized and geographically distributed organizational structure inhibits...
AMC
2008
13 years 7 months ago
2008
A system of stochastic differential equations is studied describing a compartmental carbon transfer model that includes uncertainties arising in the model from environmental and p...