All-purpose | Everything Else

A Formal Methodology And Technique For Verifying Conversations In A Closed Multi-agent System

by Air Force Institute Of Technology (u.s.)

2021-01-12 23:05:43

Compare Price
As network bandwidth increases, distributed applications are becoming increasing lyprevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into mana... Read more
As network bandwidth increases, distributed applications are becoming increasing lyprevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multi-agent systems and must be deemed correct before being placed into service. The purpose of this research was to develop a formal methodology and technique to verify that the communication protocols defined in a multi-agent environment were valid. This was accomplished by examining agent conversations before deploying the system. An additional goal of this research was to develop a proof-of-concept module for agent Tool that automatically verified some of the important properties identified in this methodology. Less

Book Details

File size9.69 X 7.44 X 0.19 in
Print pages94
PublisherBiblioScholar
Publication date September 20, 2012
LanguageEnglish
ISBN9781249449577
autor-image
Air Force Institute Of Technology (u.s.)
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 58.21
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 58.21
Available Discount
No Discount available

Related Books

View All
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS