1275 search results - page 57 / 255 » time 1998 |
CAPTECH
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
EDBT
1998
ACM
14 years 2 months ago
1998
ACM
Many collections of scienti c data in particular disciplines are available today around the world. Much of this data conforms to some agreed upon standard for data exchange, i.e., ...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
ASPDAC
1998
ACM
14 years 2 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...