This work proposes a simple model to simulate the dynamics of the market related to COTS software products, when there are no new entrants. The model takes in explicit account the interactions between products. The mo...
This book constitutes the refereed proceedings of the 10th International Conference on softwareengineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers ...
详细信息
ISBN:
(数字)9783642338267
ISBN:
(纸本)9783642338250
This book constitutes the refereed proceedings of the 10th International Conference on softwareengineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.
The two-volume set LNAI 8397 and LNAI 8398 constitutes the refereed proceedings of the 6th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2014, held in Bangkok, Thailand, in April 2014. The 1...
详细信息
ISBN:
(数字)9783319054766
ISBN:
(纸本)9783319054759
The two-volume set LNAI 8397 and LNAI 8398 constitutes the refereed proceedings of the 6th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2014, held in Bangkok, Thailand, in April 2014. The 125 revised papers presented were carefully reviewed and selected from 300 submissions. The papers address the following topics: natural language and text processing, intelligent information retrieval, semantic Web, social networks and recommendation systems, intelligent database systems, decision support systems, computer vision techniques, and machine learning and data mining. The papers are organized in topical sections on multiple model approach to machine learning, MMAML 2014, computational intelligence, CI 2014, engineering knowledge and semantic systems, IWEKSS 2014, innovations in intelligent computation and applications, IICA 2014, modeling and optimization techniques in information systems, database systems and industrial systems, MOT 2014, innovation via collective intelligences and globalization in business management, ICIGBM 2014, intelligent supply chains, ISC 2014, and human motion: acquisition, processing, analysis, synthesis and visualization for massive datasets, HMMD 2014.
This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-2...
详细信息
ISBN:
(数字)9783642401732
ISBN:
(纸本)9783642401725
This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. The 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. These papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.
暂无评论