 |
 |
 |
 |
 |
 |
Site Contents
 |
Research |
| Read about the research groups that contribute to this seminar | |
|
This Week |
| Information on the next presentation | |
|
Schedule |
| The list of upcoming presentations in this seminar | |
|
Archive |
| Read about the past presentations. |
Fall 98 Presentations
Cornell
Distributed Proving with Ensemble and NURPL
UCSD
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System
IBM Watson
Gryphon: An Event-Based Paradigm for Message Brokering
BULL, France
The Disco Mediator System