DocumentCode
642396
Title
Table of contents
fYear
2013
fDate
22-26 July 2013
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual
Conference_Location
Kyoto
Type
conf
DOI
10.1109/COMPSAC.2013.4
Filename
6649786
Link To Document