6329 search results - page 1130 / 1266 » Detection of Stochastic Processes |
157
click to vote
ACMICEC
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
157
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
With the growing popularity of personal digital assistants and smart phones, people have become enthusiastic to watch videos through these mobile devices. However, a crucial chall...
159
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
174
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
144
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: Virtual duplex systems have emerged as an alternative to traditional duplex systems, trading structural for temporal redundancy. When used in dependable embedded systems, virtual...