2632 search results - page 183 / 527 » Alternating Timed Automata |
147
Voted
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a new commerce protocol that allows customers and merchants to conduct face-to-face creditcard authorizations with a credit card company securely with the option of ano...
154
click to vote
AGENTS
1999
Springer
15 years 9 months ago
1999
Springer
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
157
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Traditionally, tracking systems require dedicated hardware to handle the computational demands and input/output rates imposed by real-time video sources. An alternative presented i...
130
Voted
MM
1994
ACM
15 years 8 months ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
141
Voted
RTSS
1990
IEEE
15 years 8 months ago
1990
IEEE
In a recent study, we have shown that in real-time database systems that discard late transactions, optimistic concurrency control outperforms locking. Although the optimistic alg...