2228 search results - page 208 / 446 » Electronic Payment Systems |
159
click to vote
AIIA
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...
139
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
146
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: The globalisation of Internet technology had a strong impact on technology price and availability, which resulted in the emerging of more opportunities and more services in dista...
204
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
184
click to vote
IFIP3
2008
15 years 8 months ago
2008
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...