Title :
Formal specification and design of mobile systems
Author :
Roman, Gruia-Catalin ; Julien, Christine ; Huang, Qingfeng
Abstract :
Presents the introductory welcome message from the conference proceedings. May include the conference officers´ congratulations to all involved with the conference event and publication of the proceedings record.
Keywords :
Ad hoc networks; Computer networks; Computer science; Distributed computing; Formal specifications; Logic programming; Mobile computing; Process design; Termination of employment; Vehicles;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-7695-1573-8
DOI :
10.1109/IPDPS.2002.1016623
