3428 search results - page 195 / 686 » Making the Case |
155
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
271
click to vote
CICLING
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
134
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
135
click to vote
ISMIR
2000
Springer
15 years 8 months ago
2000
Springer
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...
152
click to vote
SIGCOMM
1995
ACM
15 years 8 months ago
1995
ACM
Data copying and checksumming are the most expensive operations when doing high-bandwidth network IO over a highspeed network. Under some conditions, outboard buffering and checks...