1147 search results - page 79 / 230 » Termination in language-based systems |
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
This report describes a pay broadcasting system for the Internet. This system would enable tens of thousands of people to access an identical video stream simultaneously. In this ...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Recently, many routing protocols and applications for mobile ad hoc networks have been proposed. However, most of them are tested through the simulation experiments, but are not d...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...
FC
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. At FC'05, Chen et al. introduced an elegant privacy protecting coupon (PPC) system, CESSS05 [13], in which users can purchase multi-coupons and redeem them unlinkabl...
NGC
2008
Springer
13 years 10 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...