Title :
Proceedings. Seventh International Symposium on Object-Oriented Real-Time Distributed Computing
Abstract :
The following topics are dealt with: distributed real-time systems; real-time Java; formal specification; UML; systems modelling; middleware; distributed databases; Web services; program testing; formal verification; scheduling; memory management; object-oriented computing
Keywords :
Internet; Java; formal specification; formal verification; middleware; object-oriented programming; real-time systems; scheduling; storage management; UML; Web services; distributed databases; distributed real-time systems; formal specification; formal verification; memory management; middleware; object-oriented computing; program testing; real-time Java; scheduling; systems modelling;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2124-X
DOI :
10.1109/ISORC.2004.1300312