 | DesCaRTeS: Design Calculi for Telecommunications Systems |
| 
| Research Projects |
| 
| Hardware/software Codesign |
|  | UNU-IIST Home |
|
| Models for Internet-based Programming |
II/1/1/3 Models for Internet-based Programming
We plan to investigate models for Internet-based programming
where both mobility and high-order variables are present.
Recent distributed computing projects have been designed
to use the computers of hundreds of thousands of volunteers
all over the world, via the Internet. The last ten years have seen a
marked
interest in Internet-based technology, spanning applications as
diverse
as information retrieval, intelligent user interface design,
knowledge management. We aim to tackle
the following features of Internet-based systems
- autonomy
- mobility
- proactivity and reactivity
- cooperation
The project plans to cover the following topics
- semantic models for Internet-based systems
- specification and design techniques based on the so-called
"good enough" ordering
- conceptual models for Internet-based software
iistinfo@iist.unu.edu,
| Models for Internet-based Programming |
| DesCaRTeS: Design Calculi for Telecommunications Systems |
| |
| Research Projects |
| |
| Hardware/software Codesign |
| | UNU-IIST Home |
|