This book constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010.

30,008円

ENTERprise Information Syste…

This book contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. LESS 2010 is the first scientific conference dedicated to advance the body of knowledge for lean enterprise software and systems development. To achieve this goal, it offers a unique platform by bringing together leading researchers and industry practitioners in fact, more than 60% of the conference speakers come from industry. The 24 papers selected for this book represent a diverse range of experiences, studies, and theoretical achievements. They are organized in three tracks on Scaling Agile to Lean, Lean Product Development and Innovation, and Beyond Budgeting. The volume is completed by two invited talks and the summary of the panel on Why Agile, Why Lean.

14,995円

Lean Enterprise Software and…

26,998円

Advances in Databases and In…

This book constitutes the refereed proceedings of the 11th International Conference on Cryptology in India, INDOCRYPT 2010, held in Hyderabad, India, in December 2010.The 22 revised full papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on security of RSA and multivariate schemes; security analysis, pseudorandom permutations and applications; hash functions; attacks on block ciphers and stream ciphers; fast cryptographic computation; cryptanalysis of AES; and efficient implementation.

14,995円

Progress in Cryptology - IND…

This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

17,723円

Automated Reasoning for Secu…

Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testing that took place January 2010 at the Institute for Computer Science, Tsinghua University, China.

14,995円

Property Testing: Current Re…

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

30,008円

Formal Methods and Software …

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

14,995円

Programming Languages and Sy…

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010.The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms; parameterized complexity theory; relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact computation; implementation issues of parameterized and exact algorithms; fixed-parameter approximation; fast approximation in exponential time; kernelization lower and upper bounds.

14,995円

Parameterized and Exact Comp…

This volume constitutes the refereed proceedings of the 4th International Symposium on Sanskrit Computational Linguistics, held in New Delhi, India, in December 2010.The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers can be categorized under following broad areas such as phonology and speech technology; morphology and shallow parsing; syntax, semantics and parsing; lexical resources, annotation and search; machine translation and ambiguity resolution.

14,995円

Sanskrit Computational Lingu…

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This second TCCI issue contains a collection of 10 articles selected from high-quality submissions addressing advances in the foundations and applications of computational collective intelligence.

14,995円

Transactions on Computationa…

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany. The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

14,995円

Verification, Induction, Ter…

This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Australia, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on knowledge representation and reasoning; data mining and knowledge discovery; machine learning; statistical learning; evolutionary computation; particle swarm optimization; intelligent agent; search and planning; natural language processing; and AI applications.

14,995円

AI 2010: Advances in Artific…

This book constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010.

30,008円

Enterprise Information Syste…

This book constitutes the refereed proceedings of the 8th International Conference, ICSOC 2010, held in San Francisco, CA, USA, in December 2010.The 33 revised full papers and three full industry papers, presented together with 18 short papers, three PhD symposium posters and four regular posters, were carefully reviewed and selected from 238 submissions. The papers are organized in topical sections on Service and Business Process Modeling; Service Management; Quality of Service; Service Science and Design; Service Development and Run-time Management; High-level Description Languages; Service Level Agreements; Service Engineering Methodologies; Service Security, Privacy, and Trust; Business Service Modeling; Formal Methods; and Service Applications.

43,366円

Service-Oriented Computing: …

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

14,995円

Unifying Theories of Program…

This book constitutes the proceedings of the International Conference on Research and Education in Robotics held in La Fert -Bernard, France, in May 2009.

14,995円

Research and Education in Ro…

30,008円

Intelligent Robotics and App…

30,008円

Intelligent Robotics and App…

30,008円

Transport Systems Telematics…

This book constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, held in Ascoli Piceno, Italy, in September 2010.The first part of the volume contains 39 revised papers that were carefully reviewed and selected from the main conference; they are organized according to six main topics: theoretical results on cellular automata, modeling and simulation with cellular automata, CA dynamics, control and synchronization, codes and cryptography with cellular automata, cellular automata and networks, as well as CA-based hardware. The second part of the volume comprises 35 revised papers dedicated to contributions presented during ACRI 2010 workshops on theoretical advances, specifically asynchronous cellular automata, and challenging application contexts for cellular automata: crowds and CA, traffic and CA, and the international workshop of natural computing.

30,008円

Cellular Automata: 9th Inter…

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2009, held in Beijing, China, in December 2009. The 22 revised full papers and 10 short papers presented were carefully reviewed and selected from 147 submissions. The papers are organized in topical sections on cryptanalysis; signature and signcryption; key exchange; private computations; cipher design and analysis; public key cryptography; network and system security; hardware security; and web security.

14,995円

Information Security and Cry…

This book constitutes the refereed proceedings of the FirstInternational Conference on Decision and Game Theory for Security, GameSec 2010, held in Berlin, Germany, in November 2010.The 12 revised full papers and 6 revised short papers presented werecarefully reviewed and selected from numerous submissions and focus onanalytical models based on game, information, communication, optimization, decision, and control theories that are applied to diversesecurity topics. The papers are organized in topical sections onsecurity investments and planning, privacy and anonymity, adversarialand robust control, network security and botnets, authorization andauthentication, as well as theory and algorithms for security.

14,995円

Decision and Game Theory for…

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.The present collection of works, which sheds light on various facets of data management, is dedicated to Prof. Alejandro Buchmann on the occasion of his 60th birthday.His scientific path looks back on more than thirty years of successful academic life and high-impact research. With this book we celebrate Prof. Buchmann's vision and achievements.

14,995円

From Active Data Management …

This volume constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. The 61full papers and 19 short papers presented were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on theoretical development, evolutionary algorithms and applications, learning methodologies, multi-objective evolutionary algorithms and applications, hybrid algorithms, and industrial applications.

30,008円

Simulated Evolution and Lear…

14,995円

E-Infrastructures and E-Serv…

This book constitutes the refereed proceedings of the 4th International Workshop on Real-World Wireless Sensor Networks, REALWSN 2010, held in Colombo, Sri Lanka, in December 2010.The 11 full papers and the 5 short papers presented were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on applications; OS support and programming; communication & MAC; and poster and demonstration abstracts.

14,995円

Real-World Wireless Sensor N…

This book constitutes the refereed proceedings of the First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, held in Chennai, India, in December 2010.The 86 revised full papers presented were carefully reviewed and selected from 225 submissions.

43,366円

Swarm, Evolutionary, and Mem…

14,995円

Hci in Work and Learning, Li…

This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems.

14,995円

Runtime Verification: First …

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