2880 search results - page 429 / 576 » Types are calling conventions |
189
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
195
click to vote
HUC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The Internet has engendered a new type of commerce, commonly referred to as electronic commerce, or eCommerce. But despite the phenomenal growth of eCommerce, the vast ma...
168
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
159
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Managers of electronic commerce sites need to learn as much as possible about their customers and those browsing their virtual premises, in order to maximise the return on marketin...
161
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces a mechanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed as the embodiment of a contrac...