The International Conference on Intelligent Computing (ICIC) was formed to p- vide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and com...
详细信息
ISBN:
(数字)9783540859840
ISBN:
(纸本)9783540859833
The International Conference on Intelligent Computing (ICIC) was formed to p- vide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both academia and ind- try to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. ICIC 2008, held in Shanghai, China, September 15–18, 2008, constituted the 4th International Conference on Intelligent Computing. It built upon the success of ICIC 2007, ICIC 2006 and ICIC 2005 held in Qingdao, Kunming and Hefei, China, 2007, 2006 and 2005, respectively. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Emerging Intelligent Computing Technology and Applications”. Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
The BPM Conference series has established itself as the premier forum for - searchersintheareaofbusinessprocessmanagementandprocess-awareinfor- tion systems. It has a record of attracting contributions of innovative r...
详细信息
ISBN:
(数字)9783642156182
ISBN:
(纸本)9783642156175
The BPM Conference series has established itself as the premier forum for - searchersintheareaofbusinessprocessmanagementandprocess-awareinfor- tion systems. It has a record of attracting contributions of innovative research of the highest quality related to all aspects of business process management, including theory, frameworks, methods, techniques, architectures, systems, and empirical ?ndings. BPM 2010 was the 8th conference of the series. It took place September 14- 16, 2010 on the campus of Stevens Institute of Technology in Hoboken, New Jersey, USA—with a great view of Manhattan, New York. This volume c- tains 21 contributed research papers that were selected from 151 submissions. The thorough reviewing process (each paper was reviewed by three to ?ve P- gram Committee members followed in most cases by in-depth discussions) was extremely competitive with an acceptance rate of 14%. In addition to the c- tributed papers, these proceedings contain three short papers about the invited keynote talks. In conjunction with the main conference, nine international workshops took place the day before the conference. These workshops fostered the exchange of fresh ideas and experiences between active BPM researchers, and stimulated discussions on new and emerging issues in line with the conference topics. The proceedings with the papers of all workshops will be published in a separate volume of Springer’s Lecture Notes in Business Information Processing series. Beyond that, the conference also included a doctoral consortium, an industry program, ?reside chats, tutorials, panels, and demonstrations.
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satis...
详细信息
ISBN:
(数字)9783642130106
ISBN:
(纸本)9783642130090
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners.
This tutorial contains selected papers from the LASER summer Schools 2007 and 2008, both of which focused on correctness - Applied Software Verification in 2007 and Concurrency and Correctness in 2008. Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.
Für den erfolgreichen Umgang mit Software benötigt man Verständnis für das Zusammenspiel von Mensch und Computer. Dieses Lehrbuch vermittelt das notwendige Rüstzeug, eigene Rechnerlösunge...
详细信息
ISBN:
(数字)9783322888990
ISBN:
(纸本)9783519004288
Für den erfolgreichen Umgang mit Software benötigt man Verständnis für das Zusammenspiel von Mensch und Computer. Dieses Lehrbuch vermittelt das notwendige Rüstzeug, eigene Rechnerlösungen zu schaffen. Ausgehend von der Bedeutung der Algorithmen werden unter Nutzung der Programmiersprachen C/C++ Lösungswege beschrieben. Das Buch enthält außerdem einen kurzen Einblick in die Computergrafik sowie in die Datenbank- und Softwaretechnologie. Zahlreiche Anwendungsbeispiele sprechen auch Praktiker an, die ihre Kenntnisse auffrischen bzw. erweitern wollen.
The present book contains the proceedings of two conferences held at the World Computer Congress 2010 in Brisbane, Australia (September 20–23) organised by the International Federation for Information Processing (IFI...
详细信息
ISBN:
(数字)9783642154799
ISBN:
(纸本)9783642154782
The present book contains the proceedings of two conferences held at the World Computer Congress 2010 in Brisbane, Australia (September 20–23) organised by the International Federation for Information Processing (IFIP). In the first part, the reader can find the proceedings of the 9th Human Choice and Computers International C- ference (HCC9) organised by the IFIP Technical Committee TC9 on the Relationship Between ICT and Society. The HCC9 part is subdivided into four tracks: Ethics and ICT Governance, Virtual Technologies and Social Shaping, Surveillance and Privacy, and ICT and Sustainable Development. The second part consists of papers given at the Critical Information Infrastructure Protection Conference (CIP) organized by the IFIP Technical Committee TC11 on Security and Privacy Protection in Information Processing Systems. The two parts of the book are introduced by the respective Conference Chairs. Chapter 1 introduces HCC9, providing a short summary of the HCC conference series, which started in 1974, and explaining the overview of HCC9, detailing the rationale behind each of the tracks in this conference. The details related to the papers of each track are discussed by the Track Chairs in the respective introductions to the specific tracks of HCC9 (Chaps. 2, 10, 16 and 22). Finally, Chap. 22 introduces the CIP part.
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were sel...
详细信息
ISBN:
(数字)9783540473961
ISBN:
(纸本)9783540540922
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Technical excellence and originality were the principal selection criteria, but readability and relevance to the conference theme were also taken into account. The papers were organized into eight sections, on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distribution, faces of reuse, and project reports.
This volume contains the refereed proceedings of the 12th International Conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 ...
详细信息
ISBN:
(数字)9783642405648
ISBN:
(纸本)9783642405631
This volume contains the refereed proceedings of the 12th International Conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.
暂无评论