SEMINARS
- Formalizing Object-Relational Structural Metrics
- Coral Calero
- 14/07/2004 14:00, Host:
- The Use of Historical Example in a Course on Ethical Issues in Computing
- William M. Fleischman
- 09/06/2004 14:00, Host:
- Integração e Sincronização Multimédia na Web
- Teresa Chambel
- 19/05/2004 14:00, Host:
- Media Fabrics
- Glorianna Davenport
- 17/05/2004 14:00, Host:
- Imaginative Engagement with Ethical Issues in Computing
- William M. Fleischman
- 05/05/2004 14:00, Host:
- A Unified Approach for the Integration of Distributed Heterogeneous Software Components
- Barret Bryant
- 26/03/2004 14:00, Host:
- A Case Study in Specification and Verification in Spatial Logic: The Arrow Distributed Directory Protocol
- Anabela Ribeiro
- 24/03/2004 14:00, Host:
- Model-Checking Spatial Properties of Concurrent Systems
- Luis Caires, Hugo Torres Vieira
- 17/03/2004 14:00, Host:
- Agentes para personalização de serviços baseados na localização no Projecto WebPark
- Armanda Rodrigues
- 21/01/2004 14:00, Host:
- Geração de código Java sobre uma framework de objectos
- Joao Macedo da Cunha
- 10/12/2003 14:00, Host:
- Modelling replication protocols with actions and constraints
- Marc Shapiro
- 04/12/2003 11:30, Host:
- Membrane Interactions
- Luca Cardelli
- 12/11/2003 14:30, Host:
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar