This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.

14,995円

Testing: Academic and Indust…

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.The book includes 3 invited talks, 21 regular papers and 9 tool papers.

14,995円

Automated Technology for Ver…

This book constitutes the proceedings of the 29th International Conference on Computer Safety, Reliability, and Security held in Vienna, Austria in September 2010.

14,995円

Computer Safety, Reliability…

This book constitutes the refereed proceedings of the IFIP International Conference, NPC 2010, held in Zhengzhou, China, in September 2010. The 39 papers presented were carefully selected from 89 submissions. The papers are organized in topical sections on Parallelization and Optimization, Parallel Algorithms, Network, CPU and Multicore, Cloud and Grid Infrastructure, Network on Chip.

30,008円

Network and Parallel Computi…

This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009.The volume reports experiments on various types of multimedia collections. It is divided into threemain sections presenting the results of the following tracks: Interactive Cross-Language Retrieval (iCLEF), Cross-Language Image Retrieval (ImageCLEF), and Cross-Language Video Retrieval (VideoCLEF).

30,008円

Multilingual Information Acc…

This book constitutes the refereed proceedings of the 24th International Symposium on Distributed Computing, DISC 2010, held in Cambridge, CT, USA, in September 2010. The 32 revised full papers, selected from 135 submissions, are presented together with 14 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on, transactions, shared memory services and concurrency, wireless networks, best student paper, consensus and leader election, mobile agents, computing in wireless and mobile networks, modeling issues and adversity, and self-stabilizing and graph algorithms.

14,995円

Distributed Computing: 24th …

This book constitutes the proceedings of the International Conference on Information and Communication Technologies held in Kochi, Kerala, India in September 2010.

30,008円

Information and Communicatio…

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

14,995円

Static Analysis: 17th Intern…

This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.

14,995円

Algorithms - ESA 2010: 18th …

This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.

14,995円

Algorithms -- ESA 2010, Part…

This book constitutes the proceedings of the 15th International Workshop onFormal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACMInternational Conference on Automated Software Engineering, The 14 papers presented were carefully reviewed and selected from 33submissions.The aim of the FMICS workshop series is to provide a forum for researcherswho are interested in the development and application of formal methods inindustry. It also strives to promote research and development for theimprovement of formal methods and tools for industrial applications.

14,995円

Formal Methods for Industria…

14,995円

Global Sourcing of Informati…

The six-volume set comprising LNCS volumes 6311 until 6313 constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, held in Heraklion, Crete, Greece, in September 2010. The 325 revised papers presented were carefully reviewed and selected from 1174 submissions. The papers are organized in topical sections on object and scene recognition; segmentation and grouping; face, gesture, biometrics; motion and tracking; statistical models and visual learning; matching, registration, alignment; computational imaging; multi-view geometry; image features; video and event characterization; shape representation and recognition; stereo; reflectance, illumination, color; medical image analysis.

30,008円

Computer Vision - ECCV 2010:…

This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009.The volume reports experiments on various types of textual document collections. It is divided into six main sections presenting the results of the following tracks: Multilingual Document Retrieval (Ad-Hoc), Multiple Language Question Answering (QA@CLEF), Multilingual Information Filtering (INFILE@CLEF), Intellectual Property (CLEF-IP) and Log File Analysis (LogCLEF), plus the activities of the MorphoChallenge Program.

14,995円

Multilingual Information Acc…

This book is a peer-reviewed collection of papers, modified and extended for the purpose of this publication, but originally presented at the International Conference on Evaluation of Novel Approaches to Software Engineering 2008 and 2009 (ENASE 2008 / 2009).The book 's content is placed within the entire framework of software engineering activities, but with particular emphasis on experience reports and evaluations (qualitative and quantitative) of existing approaches as well as new ideas and proposals for improvements.

14,995円

Evaluation of Novel Approach…

This volume constitutes the refereed proceedings of the Third International DMTF Academic Alliance Workshop, SVM 2009, held in Wuhan, China, in September 2009.

14,995円

Systems and Virtualization M…

This book constitutes the refereed proceedings of the 12th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2010 held in Bilbao, Spain in August/September 2010.The 26 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers cover a wide range of topics within cloud intelligence, data warehousing, knowledge discovery, and applications.

14,995円

Data Warehousing and Knowled…

This book constitutes the symposia and workshops of the 10th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP. Each of the sympois and workshops focuses on a particular theme and complements the spectrum of the main conference.

14,995円

Algorithms and Architectures…

This book constitutes the refereed proceedings of the 7th International Conference on Trust, Privacy and Digital Business, TrustBus 2010, held in Bilbao, Spain, in August 2010.The papers are organized in topical sections on prevention systems; privacy; access control; security and trust concepts; and security for dynamic collaborations.

14,995円

Trust, Privacy and Security …

This book constitutes the refereed proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010, held in Tsakhadzor, Armenia, in September 2010.The book includes two invited talks and an abstract in addition to 23 full papers.

14,995円

Computer Algebra in Scientif…

This book constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.The 90 revised full papers presented were carefully reviewed and selected from 256 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load-balancing; high performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; peer to peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; multicore and manycore programming; theory and algorithms for parallel computation; high performance networks; and mobile and ubiquitous computing.

14,995円

Euro-Par 2010 - Parallel Pro…

The four-volume set LNAI 6276--6279 constitutes the refereed proceedings of the 14th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2010, held in Cardiff, UK, in September 2010. The 272 revised papers presented were carefully reviewed and selected from 360 submissions. They present the results of high-quality research on a broad range of intelligent systems topics.

30,008円

Knowledge-Based and Intellig…

This book constitutes the proceedings of the 14th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2010, held in Glasgow, UK, in September 2010. The 22 long papers, 14 short papers, 19 posters and 9 demos presented in this volume were carefully reviewed and selected from 102 full paper submissions, 40 poster submissions, and 13 demo submissions. In addition the book contains the abstract of a keynote speech and an appendix stating information on the doctoral consortium, the workshops, and tutorials, as well as the panel, which were held at the conference. The papers are grouped in topical sections on system architectures, metadata, multimedia IR, interaction and interoperability, digital preservation, social Web/Web 2.0, search in digital libraries, (meta) analysis of digital libraries, query log analysis, cooperative work in DLs, ontologies, and domain-specific DLs, posters and demos.

14,995円

Research and Advanced Techno…

This book constitutes the refereed proceedings of the First Workshop on Subject-Oriented Business Process Management, S-BPM ONE 2009, held in Karlsruhe, Germany, in October 2009. The papers are organized in topical sections on visionary engagements; essential capabilities; and penetration perspectives.

14,995円

S-BPM One: Setting the Stage…

This volume constitutes the refereed proceedings of the 17th EuroSPI conference in Grenoble, France, during September 1-3.The 18 revised full papers presented together with 8 key notes were carefully reviewed and selected. They are organized in topical sections on SPI Tools, SPI Methods, SPI in SMEs, SPI and Economic Aspects as well as Future of SPI. This textbook is intended for the use by SPI (Software Process Improvement) managers and researchers, quality managers, and experienced project and research managers.

14,995円

Systems, Software and Servic…

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.

14,995円

Formal Modeling and Analysis…

This book constitutes the refereed proceedings of the 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 2008. The 18 revised full papers presented together with one introductory paper were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on organisational issues; productivity, effort estimation metrics; standards reference models; documentation knowledge management as well as project issues.

35,182円

Software Process Improvement…

26,998円

Transactions on Computationa…

This book constitutes the refereed proceedings of the 4th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, held in Berlin, Germany, in June 2008. The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.

35,182円

Model Driven Architecture - …

Many attacks occur on computers through the internet because of vulnerable software. This book details information on reverse engineering to help target vulnerability in a software program. It includes case studies of the latest exploits.

30,008円

Identifying Malicious Code T…

このサイトのデータは 2025/09/06 03:13:43 に楽天APIから取得しました。このサイトで掲載されている情報は shopping.ago-go.org の作成者により運営されています。 価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。