Title :
Table of Contents
Abstract :
Presents the front matter and table of contents for the ACS/IEEE International Conference on Computer Systems and Applications, 2003.
Keywords :
Internet; computer architecture; constraint handling; data mining; database management systems; formal specification; formal verification; grid computing; mobile agents; real-time systems; software architecture; wireless LAN; Web oriented systems; computer architecture; computer system applications; constraint handling; database information retrieval; distributed software process models; formal methods; formal specification; grid computing; knowledge discovery; mobile devices; real-time systems; software architecture; symbolic model checking; wireless networks;
Conference_Titel :
Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference on
Conference_Location :
Tunis, Tunisia
Print_ISBN :
0-7803-7983-7
DOI :
10.1109/AICCSA.2003.1227439
