Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by VDM Verlag, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by VDM Verlag 2010-09, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs. 112 pp. Englisch.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Al Maghayreh EslamEslam Al Maghayreh is an Assistant Professor in the Department of Computer Science at Yarmouk University (Jordan). His main research interest is in runtime verification of distributed programs.Distributed pr.
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639283716 ISBN 13: 9783639283716
Seller: Mispah books, Redhill, SURRE, United Kingdom
paperback. Condition: Like New. Like New. book.
Published by IntechOpen, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by IntechOpen, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by In Tech, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by IntechOpen, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnA multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve.
Published by In Tech, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Intechopen Apr 2011, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains. 514 pp. Englisch.
Published by Intechopen, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains.
Published by IntechOpen, 2011
ISBN 10: 9533071761 ISBN 13: 9789533071763
Seller: dsmbooks, Liverpool, United Kingdom
hardcover. Condition: New. New. book.