Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability and Security, CD-ARES 2012, held in Prague, Czech Republic, in August 2012. The 50 revised papers presented were carefully reviewed and selected for inclusion in the volume. The papers concentrate on the many aspects of information systems bridging the gap between research results in computer science and the many application fields. They are organized in the following topical sections, cross-domain applications, aspects of modeling and validation, trust,security, privacy, and safety, mobile applications, data processing and management, retrieval and complex query processing, e-commerce, and papers from the colocated International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2012."

"This book contains the refereed proceedings of the Third International Conference on Software Business (ICSOB) held in Cambridge, MA, USA, in June 2012. The software business refers to commercial activities in the software industry, aimed at generating revenues from the design, delivery, and maintenance of software products and IT services to enterprises and individual customers, as well as from digital content. Although this business shares common features with other knowledge-intensive markets, it carries many inherent features making it a challenging domain for research. The 20 full and 10 short papers accepted for ICSOB were selected from 60 submissions and are organized in sections on software product management, organizational transformation, industry transformation, software platforms and ecosystems, and emerging trends."

"This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics, program abstraction and logics, data structures and synthesis, security, (non) termination and automata, program verification, theorem prover development, reasoning about program execution, and prover infrastructure and modeling styles."