This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

18,744円

Formal Verification of Objec…

This book constitutes the refereed proceedings of the International Workshops on the Applications of Evolutionary Computation, EvoApplications 2010, held in Istanbul, Turkey, in April 2010 colocated with the Evo* 2010 events. Thanks to the large number of submissions received, the proceedings for EvoApplications 2010 are divided across two volumes (LNCS 6024 and 6025). The present volume contains contributions for EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG.The 47 revised full papers presented were carefully reviewed and selected from a total of 86 submissions. This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and inspire researchers and professionals to develop efficient EC methods for design and problem solving.

37,510円

Applications of Evolutionary…

18,744円

Formal Methods for Component…

18,744円

Transactions on Computationa…

18,744円

Recognizing Patterns in Sign…

This book constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010.While the CAiSE conference itself focuses on papers that report on matured research, the CAiSE forum was created specifically as a platform to present fresh ideas, new concepts, and new and innovative systems, tools, and applications.The 22 papers presented in this volume were carefully reviewed and selected from 32 submissions. The reworked and extended versions of the original presentations cover topics such as business process management, enterprise architecture and modeling, service-oriented architectures, and requirements engineering.

18,744円

Information Systems Evolutio…

This book constitutes the refereed proceedings of the 11th International Workshop on Information Security Applications, WISA 2010, held in Jeju Island, Korea, in August 2010.The 25 revised full papers presented were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on cryptosystem, implementation, mobile security/secure coding, attack, biometrics, and secure protocol.

18,744円

Information Security Applica…

This book constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Models for the Web-Graph, WAW 2010, held in Stanford, CA, USA, in December 2010, which was co-located with the 6th International Workshop on Internet and Network Economics (WINE 2010).The 13 revised full papers and the invited paper presented were carefully reviewed and selected from 19 submissions.

18,744円

Algorithms and Models for th…

This volume constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011.The 59 revised full papers presented in this volume were carefully reviewed and selected. The papers are organized in topical sections on distributed and parallel systems and algorithms; DSP, image processing, pattern recognition, and multimedia; software engineering; database and data Mining; as well as soft computing, such as AI, neural networks, fuzzy systems, etc.

61,028円

Advances in Computer Science…

18,744円

Logic and Its Applications: …

This volume constitutes the third of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011.The 46 revised full papers presented in this volume were carefully reviewed and selected. The papers are organized in topical sections on soft computing, such as AI, Neural Networks, Fuzzy Systems, etc.; distributed and parallel systems and algorithms; security and information assurance; ad hoc and ubiquitous computing; wireless ad hoc networks and sensor networks.

37,510円

Advanced Computing: First In…

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held in Jena, Germany, in August 2010 - continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC).The 23 revised full papers presented together with 4 invited papers and the abstracts of 2 keynote lectures were carefully reviewed and selected from numerous submissions. The papers address in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based and bioinspired implementations.

18,744円

Membrane Computing: 11th Int…

18,744円

Provenance and Annotation of…

This book constitutes the refereed proceedings of the 13th International Conference on Information Security, ISC 2010, held in Boca Raton, FL, USA, in October 2010.The 25 revised full papers and the 11 short papers presented were carefully reviewed and selected from 117 submissions. The papers are organized in topical sections on attacks and analysis; analysis; authentication, PIR and content identification; privacy; malware, crimeware and code injection; intrusion detection; side channels; cryptography; smartphones; biometrics; cryptography, application; buffer overflow; and cryptography, theory.

18,744円

Information Security: 13th I…

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nov, Smokovec, Slovakia in January 2011.The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust.

18,744円

Sofsem 2011: Theory and Prac…

This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, WAOA 2010, held in Liverpool, UK, in September 2010 as part of the ALGO 2010 conference event.The 23 revised full papers presented were carefully reviewed and selected from 58 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, echanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, parameterized complexity, randomization techniques, real-world applications, and scheduling problems.

18,744円

Approximation and Online Alg…

This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of Programming Languages, POPL 2011.The 24 revised full papers presented together with 4 invited talks werecarefully reviewed and selected from 71 initial submissions. The papersshowcases state-of-the-art research in areas such as verification, modelchecking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic andobject-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstractdomains, type systems, and optimization.

18,744円

Verification, Model Checking…

This rigorous book explores the current capabilities of the most prominent process modeling grammar BPMN. The book is a landmark for an empirical technology assessment that analyzes how design flaws in technology influence usage behavior.

18,744円

Evaluations of Process Model…

This book is based on a selection of thoroughly revised and extended best papers from the 8th Workshop on E-Business (WEB 2009) held in Phoenix, AZ, USA, on December 15th, 2009. The 29 papers, which were selected from 70 presentations at the workshop, highlight the enormous developments and potential of e-business at a time when new technologies like cloud computing, collective intelligence, and multi-sided platforms are burgeoning. Among the topics covered are Web-based information systems, RFID and supply chain management, process modeling and standardization, security and privacy issues, social networking and mobility, e-services and market mechanisms, IT portfolio management, and other special topics in e-business such as electronic invoicing.

18,744円

Exploring the Grand Challeng…

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.

18,744円

Engineering Secure Software …

This book constitutes the refereed proceedings of the First International Workshop on Human-Computer Interaction, Tourism and Cultural Heritage, HCITOCH 2010, held in Brescello, Italy, in September 2010. The 17 revised papers presented were carefully reviewed and selected from numerous submissions. Providing strategies for a creative future with computer science, quality design and communicability, the papers discuss the latest advances in the areas of augmented realities, computer art, computer graphics, e-commerce, eco-design, emerging technologies, dynamic and static media (2D & 3D), HCI, interactive systems, mixed reality, networking, simulation languages, tourism, usability, video games, virtual classroom and virtual museum.

18,744円

Human-Computer Interaction, …

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.The 11 contributions presented shed a light on new aspects in the area of vagueness in natural language communication. In contrast to the classical instruments of dealing with vagueness - like multi-valued logics, truth value gaps or gluts, or supervaluations - this volume presents new approaches like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels.

18,744円

Vagueness in Communication: …

This book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 11th Teraflop Workshop held in October 2009 at Tohoku University, Japan, and the 12th Teraflop Workshop held in March 2010 at the Hochstleistungsrechenzentrum Stuttgart (HLRS), Germany

47,740円

High Performance Computing o…

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011.The 66 revised full papers presented in this volume were carefully reviewed and selected. The papers are organized in topical sections on networks and communications; network and communications security; wireless and mobile networks.

47,740円

Advances in Networks and Com…

This book emphasizes the principles of digital transmission rather than modern technologies. Each topic is addressed theoretically and by simulation. Topics include notions of probability and stochastic processes, spread spectrum, channel coding, and more.

95,480円

Digital Transmission: A Simu…

This book constitutes the refereed proceedings of the Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, held in Bremen, Germany, in June 2008, under the auspices of IFIP. The 13 revised full papers presented together with 8 papers of the AIMS PhD workshop were carefully reviewed and selected from 33 submissions to the main conference and 12 papers for the PhD workshop respectively. The papers are discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault recovery, network traffic engineering and analysis, and convergent behavior of distributed systems.

33,748円

Resilient Networks and Servi…

3-Dimensional VLSI: A 2.5-Dimensional Integration Scheme"elaborates the concept and importance of 3-Dimensional (3-D) VLSI. The authors have developed a new 3-D IC integration paradigm, so-called 2.5-D integration, to address many problems that are hard to resolve using traditional non-monolithic integration schemes. The book also introduces major 3-D VLSI design issues that need to be solved by IC designers and Electronic Design Automation (EDA) developers. By treating 3-D integration in an integrated framework, the book provides important insights for semiconductor process engineers, IC designers, and those working in EDA R&D. Dr. Yangdong Deng is an associate professor at the Institute of Microelectronics, Tsinghua University, China. Dr. Wojciech P. Maly is the U. A. and Helen Whitaker Professor at the Department of Electrical and Computer Engineering, Carnegie Mellon University, USA.

54,560円

3-Dimensional VLSI: A 2.5-Di…

This proceedings volume includes the full research papers presented at the First International Conference on Mobile Computing, Applications, and Services (MobiCASE) held in San Diego, California, on October 26-29, 2009.MobiCASE highlights state-of-the-art academic and industry research work in domain topics above the OSI transport layer with an emphasis on complete end-to-end systems and their components. Its vision is largely influenced by what we see in the consumer space today: high-end mobile phones, high-bandwidth wireless networks, novel consumer and enterprise mobile applications, scalable software infrastructures, and of course an increasingly larger user base that is moving towards an almost all-mobile lifestyle.

18,744円

Mobile Computing, Applicatio…

This book constitutes the proceedings of the Second Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2010, held in conjunction with the 36th International Conference on Very Large Data Bases, VLDB 2010, in Singapore, September 13-17, 2010.The 14 full papers and two keynote papers were carefully selected and reviewed from numerous submissions. This book considers issues such as appliance; business intelligence; cloud computing; complex event processing; database optimizations; data compression; energy and space efficiency, green computing; hardware innovations; high speed data generation; hybrid workloads; very large memory systems; and virtualization.

18,744円

Performance Evaluation, Meas…

This book contains many chapters describing the latest developments in computer graphics rendering on the GPU. Written by game programming experts, each contribution covers advanced rendering techniques that run on the DirectX and OpenGL run-time with any shader language available. The book's sections cover topics in mathematics of computer graphics, rendering, global illumination, handheld devices, 3D engine design, and GPGPU" --

74,646円

GPU Pro2: Advanced Rendering…

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