- research themes
- research groups
- Algorithms and Complexity
- Computational Dynamics
- Cryptology
- Database Architectures
- Distributed and Interactive Systems
- Formal Methods
- Information Access
- Intelligent Systems
- Life Sciences
- Multiscale Dynamics
- Networks and Optimization
- Scientific Computing
- Software Analysis and Transformation
- Stochastics
- research staff
- In brief
Projects Interactive Information Access
Project name: Interactive Structured Documents
Research group: Interactive Information Access (INS2)
Coordinator of this project: Lambert Meertens
Startdate: 1998-01-01
Enddate: 2002-01-01
Software technology aspects of the development of a prototype for an interactive book on Lie Algebras,...
Project name: Specification of Secure Protocols
Research group: Interactive Information Access (INS2)
Coordinator of this project: Lambert Meertens
In order to bridge the gap between the theoretical considerations used to establish security and the actual semantics of implementations of such protocols,...
Project name: Real-Time Internet Platform Architecture (RTIPA)
Research group: Interactive Information Access (INS2)
Coordinator of this project: Jacco van Ossenbruggen
Project name: Distributed Multimedia Applications
Research group: Interactive Information Access (INS2)
Coordinator of this project: Dick Bulterman
Presently the focus is on applications in distributed international electronic commerce, in particular the delivery of complex multimedia documents over high-...
Project name: Multimedia Authoring Systems
Research group: Interactive Information Access (INS2)
Coordinator of this project: Dick Bulterman
Based on CWI's CMIFed authoring system, durable, professional-quality multimedia documents are defined, which are quickly and easily adaptable to new environments, under...
- « first
- ‹ previous
- 1
- 2
- 3
