Title :
Table of contents
Abstract :
The following topics are dealt with: software testing; Internet architecture and applications; big data analytics; knowledge management; mobile computing; pervasive computing; network middleware; cloud computing; reliability modeling; model-based evaluation; software life cycle; data security; trusted computing; data privacy; semantic Web; Web services; requirements engineering; software assurance; formal methods; embedded systems; human-computer interaction; Internet of Things; and software architecture.
Keywords :
Internet; data analysis; embedded systems; formal specification; formal verification; information management; middleware; performance evaluation; program testing; security of data; software engineering; trusted computing; ubiquitous computing; Internet applications; Internet architecture; Internet of Things; Web services; big data analytics; cloud computing; data privacy; data security; embedded systems; formal methods; knowledge management; mobile computing; model-based evaluation; network middleware; pervasive computing; reliability modeling; requirements engineering; semantic Web; software architecture; software assurance; software life cycle; software testing; trusted computing;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual
Conference_Location :
Kyoto
DOI :
10.1109/COMPSAC.2013.4
