2678 search results - page 143 / 536 » Operational Semantics of Transactions |
130
click to vote
NAACL
1994
15 years 6 months ago
1994
Much interest already exists in the electronics research community for developing and integrating speech technology to a variety of applications, ranging from voice-activated syst...
115
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Chip Authentication Programme (CAP) has been introduced by banks in Europe to deal with the soaring losses due to online banking fraud. A handheld reader is used toge...
141
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a Write-Once Read-Many (WORM) storage system providing strong assurances of data retention and compliant migration, by leveraging trusted secure hardware in close dat...
146
click to vote
JDWM
2010
15 years 3 months ago
2010
The Web is a continuously evolving environment, since its content is updated on a regular basis. As a result, the traditional usagebased approach to generate recommendations that ...
121
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...