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.

18,744円

Runtime Verification: First …

18,744円

Computational Collective Int…

18,744円

Computational Collective Int…

18,744円

Advances in Soft Computing: …

37,510円

Advances in Visual Computing…

6,600円

101 Cool Smartphone Techniqu…

18,744円

Information and Communicatio…

18,744円

Towards a Service-Based Inte…

This book constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010, held in Waidhofen/Ybbs, Austria, in October 2010. The 21 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on hardware, real-time systems, model-based design and model-checking, sensor nets, error detection and system failures, hard real-time, middleware and smart spaces, and function composition and task mapping.

18,744円

Software Technologies for Em…

This book constitutes the refereed proceedings of the International Workshops on Service-Oriented Computing, ICSOC/ServiceWave 2009, held in Stockholm, Sweden, in November 2009.The book includes papers of workshops on trends in enterprise architecture research (TEAR 2009), SOA, globalization, people, and work (SG-PAW), service oriented computing in logistics (SOC-LOG), non-functional properties and service level agreements management in service oriented computing (NFPSLAM-SOC 09), service monitoring, adaptation and beyond (MONA+), engineering service-oriented applications (WESOA09), and user-generated services (UGS2009). The papers are organized in topical sections on business models and architecture; service quality and service level agreements track; and service engineering track.

37,510円

Service-Oriented Computing: …

37,510円

Future Generation Informatio…

37,510円

Current Trends in Web Engine…

This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bah a Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on artificial intelligence in education, cognitive modeling and human reasoning, constraint satisfaction, evolutionary computation, information, integration and extraction, knowledge acquisition and ontologies, knowledge representation and reasoning, machine learning and data mining, multiagent systems, natural language processing, neural networks, planning and scheduling, probabilistic reasoning, search, and semantic web.

37,510円

Advances in Artificial Intel…

18,744円

On the Move to Meaningful In…

37,510円

On the Move to Meaningful In…

37,510円

Advances in Visual Computing…

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, held in Bordeaux, France, in July 2010.The 15 full papers and two brief announcements were carefully reviewed and selected from 31 submissions. The workshop aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. In 2010 the focus was extended to comprise also contributions about related types of networks such as ad hoc wireless networks, mobile networks, radio networks and distributed systems of robots.

18,744円

Algorithms for Sensor System…

This book constitutes the refereed proceedings of the First International Joint Conference on Ambient Intelligence, AmI 2010, held in M laga, Spain, in November 2010, a merger of the AmI and AmI.D conferences. The 24 revised full papers presented together with 10 short papers and 5 landscape papers were carefully reviewed and selected from 62 submissions. The papers cover a wide range of topics such as adaptation to the dynamics of the environment, design of AmI environments, semantics of AmI environments, security and privacy in AmI applications, contextual systems, and architectural issues for AmI systems.

18,744円

Ambient Intelligence: First …

18,744円

Computational Logic in Multi…

18,744円

Implementation and Applicati…

This book constitutes the revised papers of the 15th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2010, which was held in Atlanta, GA, USA, in April 2010.The 12 revised papers presented were carefully reviewed and selected from 18 submissions. The papersshow a prolific growth in the areas of applicability for parallel scheduling and discuss more recent problems and applications, such as virtualized environments, many-core processors, DNA sequencing, and hadoop.

18,744円

Job Scheduling Strategies fo…

This volume constitutes the proceedings of the Second Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Delft, The Netherlands, on November 11, 2010. PRET acts as a platform to bridge the gap between theory and practice, and strives for synergy and cross-fertilization between industry and academia. Thus all authors have been asked to combine theory and practice by using real-life case studies and referring to practical experiences.The 9 papers presented were carefully reviewed and selected from 24 submissions, and are grouped in three sections on situational transformation; portfolio, program and project management; and enterprise architecture to align business and IT.

18,744円

Practice-Driven Research on …

18,744円

Ubiquitous Knowledge Discove…

This book constitutes the refereed proceedings of the 29th International Conference on Conceptual Modeling, ER 2010, held in Vancouver, BC, Canada, in November 2010.The 32 revised full papers presented were carefully reviewed and selected from 147 submissions. The papers are organized in topical sections on business process modeling; requirements engineering and modeling 1; requirements engineering and modeling 2; data evolution and adaptation; operations on spatio-temporal data; demos and posters; model abstraction, feature modeling, and filtering; integration and composition; consistency, satisfiability and compliance checking; using ontologies for query answering; and document and query processing.

18,744円

Conceptual Modeling - Er 201…

This volume constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010.The 13 revised full papers were carefully reviewed and selected from numerous submissions. The papers address topics such as applications; sensing; systems support; and higher level modeling.In addition to the Conference is a short report about the Workshop on Ambient Assisted Living (AAL) Platform included.

18,744円

Smart Sensing and Context: 5…

This book constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010.The 30 revised full papers presented together with 9 revised poster papers in this volume were carefully reviewed and selected. The papers are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, geometry, autonomous characters, navigation, motion synthesis, perception, real-time graphics, and posters.

18,744円

Motion in Games: Third Inter…

18,744円

Progress in Pattern Recognit…

18,744円

Advances in Artificial Intel…

This book constitutes the proceedings of the 4th International Conference on Advances in Information Technology, IAIT 2010, held in Bangkok, Thailand in November 2010.The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The volume aims to provide a forum for researchers, educators, government officers, consultants, private sectors, managers, developers and others in the rapidly growing field of information technology to meet, discuss and exchange ideas on recent advances. The papers address current issues in the fields of e-service, information and communication technology, intelligent systems, information management, and platform technology.

18,744円

Advances in Information Tech…

18,744円

Modelling Autonomic Communic…

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