Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
2,952,962
result(s) for
"Computer software."
Sort by:
Case study research in software engineering
Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct, design and reporting of case studies of software engineering. This is the first software engineering specific book on the case study research method.
eBook
Software defined networks : a comprehensive approach
This book discusses the historical networking environment that gave rise to SDN, as well as the latest advances in SDN technology. It provides state of the art knowledge needed for successful deployment of an SDN, including how to explain to the non-technical business decision makers in an organization the potential benefits and risks, in shifting parts of a network to the SDN model; how to make intelligent decisions about when to integrate SDN technologies in a network; how to decide if an organization should be developing its own SDN applications or looking to acquire them from an outside vendor; how to accelerate the ability to develop an SDN application; discusses the evolution of the switch platforms that enable SDN; addresses when to integrate SDN technologies in a network; provides an overview of sample SDN applications relevant to different industries; includes practical examples of how to write SDN applications. --
eBook
Programming multi-agent systems in AgentSpeak using Jason
This text provides a detailed, practical guide to building multi-agent systems using Jason, one of the most prominent agent programming languages.
eBook
Principles of model checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
eBook
Teamwork in Multi-Agent Systems
What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules! Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams often consist of autonomous software agents, various types of robots and human beings. Teamwork in Multi-agent Systems: A Formal Approach explains teamwork rules in terms of agents' attitudes and their complex interplay. It provides the first comprehensive logical theory, TeamLog, underpinning teamwork in dynamic environments. The authors justify design choices by showing TeamLog in action. The book guides the reader through a fascinating discussion of issues essential for teamwork to be successful: What is teamwork, and how can a logical view of it help in designing teams of agents? What is the role of agents' awareness in an uncertain, dynamic environment? How does collective intention constitute a team? How are plan-based collective commitments related to team action? How can one tune collective commitment to the team's organizational structure and its communication abilities?\\ What are the methodological underpinnings for teamwork in a dynamic environment? How does a team and its attitudes adjust to changing circumstances? How do collective intentions and collective commitments arise through dialogue? What is the computational complexity of TeamLog? How can one make TeamLog efficient in applications? This book is an invaluable resource for researchers and graduate students in computer science and artificial intelligence as well as for developers of multi-agent systems. Students and researchers in organizational science, in particular those investigating teamwork, will also find this book insightful. Since the authors made an effort to introduce TeamLog as a conceptual model of teamwork, understanding most of the book requires solely a basic logical background.
eBook