0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (43)
  • R250 - R500 (170)
  • R500+ (9,170)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Applications of computing > Databases > General

The Promised Land? - The Lives and Voices of Hispanic Immigrants in the New South (Paperback): Patricia L Goerman The Promised Land? - The Lives and Voices of Hispanic Immigrants in the New South (Paperback)
Patricia L Goerman
R1,257 Discovery Miles 12 570 Ships in 12 - 17 working days

Through analysis of in-depth interviews with seventy-three Hispanic immigrants in Central Virginia, this book offers a rare in-depth look at the views and circumstances of immigrants in a new receiving area. It provides an examination of the new migration trend including an analysis of immigrants' living and working conditions, their family life, and their plans for the future.

Data Mining for Bioinformatics (Hardcover): Sumeet Dua, Pradeep Chowriappa Data Mining for Bioinformatics (Hardcover)
Sumeet Dua, Pradeep Chowriappa
R2,908 Discovery Miles 29 080 Ships in 12 - 17 working days

Covering theory, algorithms, and methodologies, as well as data mining technologies, Data Mining for Bioinformatics provides a comprehensive discussion of data-intensive computations used in data mining with applications in bioinformatics. It supplies a broad, yet in-depth, overview of the application domains of data mining for bioinformatics to help readers from both biology and computer science backgrounds gain an enhanced understanding of this cross-disciplinary field. The book offers authoritative coverage of data mining techniques, technologies, and frameworks used for storing, analyzing, and extracting knowledge from large databases in the bioinformatics domains, including genomics and proteomics. It begins by describing the evolution of bioinformatics and highlighting the challenges that can be addressed using data mining techniques. Introducing the various data mining techniques that can be employed in biological databases, the text is organized into four sections: Supplies a complete overview of the evolution of the field and its intersection with computational learning Describes the role of data mining in analyzing large biological databases-explaining the breath of the various feature selection and feature extraction techniques that data mining has to offer Focuses on concepts of unsupervised learning using clustering techniques and its application to large biological data Covers supervised learning using classification techniques most commonly used in bioinformatics-addressing the need for validation and benchmarking of inferences derived using either clustering or classification The book describes the various biological databases prominently referred to in bioinformatics and includes a detailed list of the applications of advanced clustering algorithms used in bioinformatics. Highlighting the challenges encountered during the application of classification on biologica

Information Systems and Technologies - WorldCIST 2022, Volume 3 (Paperback, 1st ed. 2022): Alvaro Rocha, Hojjat Adeli,... Information Systems and Technologies - WorldCIST 2022, Volume 3 (Paperback, 1st ed. 2022)
Alvaro Rocha, Hojjat Adeli, Gintautas Dzemyda, Fernando Moreira
R6,943 Discovery Miles 69 430 Ships in 12 - 17 working days

This book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human-computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications. This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

TV Content Analysis - Techniques and Applications (Hardcover, New): Yiannis Kompatsiaris, Bernard Merialdo, Shiguo Lian TV Content Analysis - Techniques and Applications (Hardcover, New)
Yiannis Kompatsiaris, Bernard Merialdo, Shiguo Lian
R3,689 Discovery Miles 36 890 Ships in 12 - 17 working days

The rapid advancement of digital multimedia technologies has not only revolutionized the production and distribution of audiovisual content, but also created the need to efficiently analyze TV programs to enable applications for content managers and consumers. Leaving no stone unturned, TV Content Analysis: Techniques and Applications provides a detailed exploration of TV program analysis techniques.
Leading researchers and academics from around the world supply scientifically sound treatment of recent developments across the related subject areas including systems, architectures, algorithms, applications, research results, emerging approaches, and open issues. The book is organized into six parts:

  1. Content Extraction - deals with automatic analysis and annotation of TV content, addressing generic semantics and concepts as well as TV content
  2. Content Structuring - examines techniques for identifying interesting parts of TV programs and supplying direct access to it
  3. Content Recommendation - explores the problem of providing users with the most relevant content, addressing the problem of an ever-increasing amount of available content
  4. Content Quality - considers visual perception and quality approaches in the multi-display TV context and the specific mobile TV scenario
  5. Web and Social TV - presents studies on Web and TV convergence and on how user-generated content in Web 2.0 applications can be used to enhance services
  6. Content Production - covers postproduction, visual effects, and presentation standards

Most parts start with a chapter that provides an overview of that area, followed by state-of-the-art approaches focusing on specific issues covered in that section. Reporting on recent advances in the field, the book provides you with the global view and up-to-date understanding of emerging trends needed to participate in the development of the digital TV domain.

International Research in Sports Biomechanics (Paperback): Youlian Hong International Research in Sports Biomechanics (Paperback)
Youlian Hong
R1,636 Discovery Miles 16 360 Ships in 12 - 17 working days

This edited collection of papers presented at the 18th International Symposium of Biomechanics in Sport, highlights cutting-edge research material on sports biomechanics from many of the leading international academics in the field. The thirty-seven chapters presented are divided into nine sections: * biomechanics of fundamental human movement * modelling, simulation and optimisation * biomechanics of the neuro-musculo-skeletal system * sports injuries, orthopaedics and rehabilitation * the application of electromyography in movement studies * biomechanical analysis of the internal load * methods and instrumentation * training * paediatric and geriatric exercise.

Understanding Information Retrieval Systems - Management, Types, and Standards (Hardcover, New): Marcia J Bates Understanding Information Retrieval Systems - Management, Types, and Standards (Hardcover, New)
Marcia J Bates
R3,700 Discovery Miles 37 000 Ships in 12 - 17 working days

In order to be effective for their users, information retrieval (IR) systems should be adapted to the specific needs of particular environments. The huge and growing array of types of information retrieval systems in use today is on display in Understanding Information Retrieval Systems: Management, Types, and Standards, which addresses over 20 types of IR systems. These various system types, in turn, present both technical and management challenges, which are also addressed in this volume. In order to be interoperable in a networked environment, IR systems must be able to use various types of technical standards, a number of which are described in this book-often by their original developers. The book covers the full context of operational IR systems, addressing not only the systems themselves but also human user search behaviors, user-centered design, and management and policy issues. In addition to theory and practice of IR system design, the book covers Web standards and protocols, the Semantic Web, XML information retrieval, Web social mining, search engine optimization, specialized museum and library online access, records compliance and risk management, information storage technology, geographic information systems, and data transmission protocols. Emphasis is given to information systems that operate on relatively unstructured data, such as text, images, and music. The book is organized into four parts: Part I supplies a broad-level introduction to information systems and information retrieval systems Part II examines key management issues and elaborates on the decision process around likely information system solutions Part III illustrates the range of information retrieval systems in use today discussing the technical, operational, and administrative issues for each type Part IV discusses the most important organizational and technical standards needed for successful information retrieval This volume brings together authoritative articles on the different types of information systems and how to manage real-world demands such as digital asset management, network management, digital content licensing, data quality, and information system failures. It explains how to design systems to address human characteristics and considers key policy and ethical issues such as piracy and preservation. Focusing on web-based systems, the chapters in this book provide an excellent starting point for developing and managing your own IR systems.

Database Systems for Advanced Applications - 17th International Conference, DASFAA 2012, International Workshops: FlashDB,... Database Systems for Advanced Applications - 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-18, 2012, Proceedings (Paperback, 2012)
Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, …
R1,539 Discovery Miles 15 390 Ships in 10 - 15 working days

This book constitutes the workshop proceedings of the 17th International Conference on Database Systems for Advanced Applications, DASFAA 2012, held in Busan, South Korea, in April 2012. The volume contains five workshops, each focusing on specific area that contributes to the main themes of the DASFAA conference: The Second International Workshop on Flash-based Database Systems (FlashDB 2012), the First International Workshop on Information Technologies for Maritime and Logistics (ITEMS 2012), the Third International Workshop on Social Networks and Social Media Mining on the Web (SNSMW 2012), the Second International Workshop on Spatial Information Modeling, Management and Mining (SIM3 2012), and the Fifth International Workshop on Data Quality in Integration Systems (DQIS 2012).

Database Systems for Advanced Applications - 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012,... Database Systems for Advanced Applications - 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012, Proceedings, Part I (Paperback, 2012)
Sang-Goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, …
R1,618 Discovery Miles 16 180 Ships in 10 - 15 working days

This two volume set LNCS 7238 and LNCS 7239 constitutes the refereed proceedings of the 17th International Conference on Database Systems for Advanced Applications, DASFAA 2012, held in Busan, South Korea, in April 2012.
The 44 revised full papers and 8 short papers presented together with 2 invited keynote papers, 8 industrial papers, 8 demo presentations, 4 tutorials and 1 panel paper were carefully reviewed and selected from a total of 159 submissions. The topics covered are query processing and optimization, data semantics, XML and semi-structured data, data mining and knowledge discovery, privacy and anonymity, data management in the Web, graphs and data mining applications, temporal and spatial data, top-k and skyline query processing, information retrieval and recommendation, indexing and search systems, cloud computing and scalability, memory-based query processing, semantic and decision support systems, social data, data mining.

High-Performance Web Databases - Design, Development, and Deployment (Paperback): Sanjiv Purba High-Performance Web Databases - Design, Development, and Deployment (Paperback)
Sanjiv Purba
R1,793 Discovery Miles 17 930 Ships in 12 - 17 working days

As Web-based systems and e-commerce carry businesses into the 21st century, databases are becoming workhorses that shoulder each and every online transaction. For organizations to have effective 24/7 Web operations, they need powerhouse databases that deliver at peak performance-all the time. High Performance Web Databases: Design, Development, and Deployment arms you with every essential technique from design and modeling to advanced topics such as data conversion, performance tuning, Web access and interfacing legacy systems, and security

The Impact of Virtual, Remote and Real Logistics Labs - First International Conference, ImViReLL 2012, Bremen, Germany, Februar... The Impact of Virtual, Remote and Real Logistics Labs - First International Conference, ImViReLL 2012, Bremen, Germany, Februar 28-March 1, 2012. Proceedings (Paperback, 2012)
Dieter Uckelmann, Bernd Scholz-Reiter, Ingrid Rugge, Bonghee Hong, Antonio Rizzi
R1,485 Discovery Miles 14 850 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the International Conference on the Impact of Virtual, Remote and Real Logistic Labs, ImViReLL 2012, held in Bremen, Germany, in Februar/March 2012. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fundamentals and historic background of lab-based research in logistics; infrastructure and design of virtual, remote and real labs; educational implications of virtual, remote and real labs; test-beds and demonstrators; lab-based process improvements in logistics; lab-supported product developments.

Video Cataloguing - Structure Parsing and Content Extraction (Paperback): Guangyu Gao, Chi Harold Liu Video Cataloguing - Structure Parsing and Content Extraction (Paperback)
Guangyu Gao, Chi Harold Liu
R1,634 Discovery Miles 16 340 Ships in 12 - 17 working days

The arrival of the digital age has created the need to be able to store, manage, and digitally use an ever-increasing amount of video and audio material. Thus, video cataloguing has emerged as a requirement of the times. Video Cataloguing: Structure Parsing and Content Extraction explains how to efficiently perform video structure analysis as well as extract the basic semantic contents for video summarization, which is essential for handling large-scale video data. This book addresses the issues of video cataloguing, including video structure parsing and basic semantic word extraction, particularly for movie and teleplay videos. It starts by providing readers with a fundamental understanding of video structure parsing. It examines video shot boundary detection, recent research on video scene detection, and basic ideas for semantic word extraction, including video text recognition, scene recognition, and character identification. The book lists and introduces some of the most commonly used features in video analysis. It introduces and analyzes the most popular shot boundary detection methods and also presents recent research on movie scene detection as another important and critical step for video cataloguing, video indexing, and retrieval. The authors propose a robust movie scene recognition approach based on a panoramic frame and representative feature patch. They describe how to recognize characters in movies and TV series accurately and efficiently as well as how to use these character names as cataloguing items for an intelligent catalogue. The book proposes an interesting application of highlight extraction in basketball videos and concludes by demonstrating how to design and implement a prototype system of automatic movie and teleplay cataloguing (AMTC) based on the approaches introduced in the book.

Interactive Graphics for Data Analysis - Principles and Examples (Paperback): Martin Theus, Simon Urbanek Interactive Graphics for Data Analysis - Principles and Examples (Paperback)
Martin Theus, Simon Urbanek
R1,774 Discovery Miles 17 740 Ships in 12 - 17 working days

Interactive Graphics for Data Analysis: Principles and Examples discusses exploratory data analysis (EDA) and how interactive graphical methods can help gain insights as well as generate new questions and hypotheses from datasets. Fundamentals of Interactive Statistical GraphicsThe first part of the book summarizes principles and methodology, demonstrating how the different graphical representations of variables of a dataset are effectively used in an interactive setting. The authors introduce the most important plots and their interactive controls. They also examine various types of data, relations between variables, and plot ensembles. Case Studies Illustrate the PrinciplesThe second section focuses on nine case studies. Each case study describes the background, lists the main goals of the analysis and the variables in the dataset, shows what further numerical procedures can add to the graphical analysis, and summarizes important findings. Wherever applicable, the authors also provide the numerical analysis for datasets found in Cox and Snell's landmark book. Understand How to Analyze Data through Graphical Means This full-color text shows that interactive graphical methods complement the traditional statistical toolbox to achieve more complete, easier to understand, and easier to interpret analyses.

Multimedia, Computer Graphics and Broadcasting, Part II - International Conference, MulGraB 2011, Held as Part of the Future... Multimedia, Computer Graphics and Broadcasting, Part II - International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II (Paperback, 2011)
Tai-Hoon Kim, Hojjat Adeli, William I. Grosky, Niki Pissinou, Timothy K. Shih, …
R1,545 Discovery Miles 15 450 Ships in 10 - 15 working days

The two volume set, CCIS 262 and 263, constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of multimedia, computer graphics and broadcasting.

Learn dbatools in a Month of Lunches (Paperback): Chrissy Lemaire, Rob Sewell, Jess Pomfret, Claudio Silva Learn dbatools in a Month of Lunches (Paperback)
Chrissy Lemaire, Rob Sewell, Jess Pomfret, Claudio Silva
R1,039 Discovery Miles 10 390 Ships in 12 - 17 working days

An effective DBA is an efficient DBA. And if you work with SQL Server, dbatools is a lifesaver. With over 500 commands, this free and open source PowerShell module has the horsepower to automate just about every task you can imagine-and then some! Learn dbatools in a Month of Lunches teaches you techniques that will make you more effective-and efficient-than you ever thought possible. Learn dbatools in a Month of Lunches is a practical hands-on guide to automating SQL Server with PowerShell and the awesome dbatools module. You'll master techniques you can immediately put into practice, from daily duties like backups and restores right through to performing security audits. Stabilize and standardize your SQL server environment, and simplify your tasks by building automation, alerting, and reporting with this powerful tool. Each lesson delivers another skill that you can use to speed through your core tasks as a SQL Server DBA! About the Technology Want to automate tasks for thousands of SQL servers at once? Want to migrate an entire SQL server using just the command line? dbatools can do all that-and more. A free and open source PowerShell module, dbatools offers over 500 commands for automating SQL Server from the command line. Boasting advanced options unavailable in official tools, dbatools makes it easy to automate tasks including mass exports for simplified disaster recovery, tempdb configuration, and improving an instance's security posture.

The Future Economy - A Crypto Insider's Guide to the Tech Dismantling Traditional Banking (Hardcover): Brandon Zemp The Future Economy - A Crypto Insider's Guide to the Tech Dismantling Traditional Banking (Hardcover)
Brandon Zemp
R550 Discovery Miles 5 500 Ships in 12 - 17 working days
CONCUR 2011 -- Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011,... CONCUR 2011 -- Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Paperback, Edition.)
Joost-Pieter Katoen, Barbara Koenig
R1,605 Discovery Miles 16 050 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

E-Commerce and Web Technologies - 12th International Conference, EC-Web 2011, Toulouse, France, August 30 - September 1, 2011,... E-Commerce and Web Technologies - 12th International Conference, EC-Web 2011, Toulouse, France, August 30 - September 1, 2011, Proceedings (Paperback, Edition.)
Christian Huemer, Thomas Setzer
R1,528 Discovery Miles 15 280 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 12th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Toulouse, France, in August/September 2011.

The 25 papers accepted for EC-Web, selected from 60 submissions, are organized into eight topical sections on semantic services, business processes and services, context-aware recommender systems, intelligent agents and e-negotiation systems, collaborative filtering and preference learning, social recommender systems, agent interaction and trust management, and innovative strategies for preference elicitation and profiling.

Pattern Recognition - 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011, Proceedings (Paperback,... Pattern Recognition - 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011, Proceedings (Paperback, Edition.)
Rudolf Mester, Michael Felsberg
R1,580 Discovery Miles 15 800 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 33rd Symposium of the German Association for Pattern Recognition, DAGM 2011, held in Frankfurt/Main, Germany, in August/September 2011. The 20 revised full papers and 22 revised poster papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on object recognition, adverse vision conditions challenge, shape and matching, segmentation and early vision, robot vision, machine learning, and motion. The volume also includes the young researcher's forum, a section where a carefully jury-selected ensemble of young researchers present their Master thesis work.

Data Center Storage - Cost-Effective Strategies, Implementation, and Management (Hardcover): Hubbert Smith Data Center Storage - Cost-Effective Strategies, Implementation, and Management (Hardcover)
Hubbert Smith
R3,645 Discovery Miles 36 450 Ships in 12 - 17 working days

We overspend on data center storage . yet, we fall short of business requirements. It's not about the technologies. It's about the proper application of technologies to deliver storage services efficiently and affordably. It's about meeting business requirements dependent on data center storage. Spend less, deliver more. Data Center Storage: Cost-Effective Strategies, Implementation, and Management provides an industry insider's insight on how to properly scope, plan, evaluate, and implement storage technologies to maximize performance, capacity, reliability, and power savings. It provides business and use-case focused coverage of storage technology, including storage area networks (SAN), capacity-optimized drives, and solid-state drives. It offers key insights on financially responsible spending for data center storage. Delivered in accessible language, the book starts with a discussion of the business merits of replacing direct attached, compartmentalized storage with consolidated SAN-attached storage. The author advises on the use of service level applications (SLAs) as a tool to drive business unit collaboration with IT and prioritize those actions that impact productivity and profit from those that are less critical. This business guide to applied technologies disassembles big problems into digestible segments to help you understand, quantify, and fix any problems that arise as you work towards meeting your growing storage needs. The book builds on the consolidation and SLA driven approach to take advantage of the compelling benefits and potential savings of managed hosting and cloud storage.

Argumentation in Multi-Agent Systems - 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected... Argumentation in Multi-Agent Systems - 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers (Paperback, Edition.)
Peter McBurney, Iyad Rahwan, Simon D. Parsons
R1,533 Discovery Miles 15 330 Ships in 10 - 15 working days

This book constitutes the thoroughly reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010.

The 14 revised full papers taken from ArgMAS 2010 were carefully reviewed and improved during two rounds of revision. Also included are 4 invited papers based on presentations on argumentation at the AAMAS 2010 main conference. All together the 18 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are organized in topical sections on practical reasoning and argument about action, applications, and theoretical aspects.

Digital Human Modeling - Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA,... Digital Human Modeling - Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings (Paperback)
Vincent G. Duffy
R1,598 Discovery Miles 15 980 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Third International Conference on Digital Human Modeling, ICDHM 2011, held in Orlando, FL, USA in July 2011. The 58 revised papers presented were carefully reviewed and selected from numerous submissions. The papers accepted for presentation thoroughly cover the thematic area of anthropometry applications, posture and motion modeling, digital human modeling and design, cognitive modeling, and driver modeling.

Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July... Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011, Proceedings (Paperback, Edition.)
Yingjiu Li
R1,528 Discovery Miles 15 280 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 25th IFIP WG 11.3 International Conference on Data and Applications Security and Privacy, DBSec 2011, held in Richmond, VA, USA, in July 2011. The 14 revised full papers and 9 short papers presented together with 3 invited lectures were carefully reviewed and selected from 37 submissions. The topics of these papers include access control, privacy-preserving data applications, data confidentiality and query verification, query and data privacy, authentication and secret sharing.

Systems, Software and Services Process Improvement - 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29,... Systems, Software and Services Process Improvement - 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011, Proceedings (Paperback, Edition.)
Rory V. Connor, Jan Pries-Heje, Richard Messnarz
R1,530 Discovery Miles 15 300 Ships in 10 - 15 working days

This volume constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. The 18 revised full papers presented together with 9 key notes were carefully reviewed and selected. They are organized in topical sections on SPI and assessments; SPI and implementation; SPI and improvement methods; SPI organization; SPI people/ teams; SPI and reuse; selected key notes for SPI implementation.

Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer,... Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures (Paperback, Edition.)
Marco Bernardo, Valerie Issarny
R1,592 Discovery Miles 15 920 Ships in 10 - 15 working days

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011,... Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Paperback, 2011 ed.)
Wolfgang De Meuter, Gruia-Catalin Roman
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events.
The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The NFT Handbook - How to Create, Sell…
M Fortnow Paperback R492 Discovery Miles 4 920
DAMA-DMBOK - Data Management Body of…
DAMA International Paperback R2,603 R1,899 Discovery Miles 18 990
Data Science For Dummies 3e
L. Pierson Paperback R677 Discovery Miles 6 770
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,036 Discovery Miles 10 360
Big Data Management
Fausto Pedro Garcia Marquez, Benjamin Lev Hardcover R4,180 Discovery Miles 41 800
Crypto: The Insights You Need from…
Harvard Business Review, Jeff John Roberts, … Paperback R386 Discovery Miles 3 860
Digital Image Processing With C…
David Tschumperle, Christophe Tilmant, … Paperback R1,258 Discovery Miles 12 580
Technological Prospects and Social…
Lavanya Sharma, Pradeep Kumar Garg Hardcover R2,689 Discovery Miles 26 890
Essentials of Blockchain Technology
Kuan-Ching Li, Xiaofeng Chen, … Hardcover R2,566 Discovery Miles 25 660
The Discipline of Data - What…
Jerald Savin Paperback R950 Discovery Miles 9 500

 

Partners