Back to Top
User Name
Password:
العربية
English
Update Info
Main
Positions
Educational Activities
Scientific Certificates
Scientific Activities
Participation In Local & International Research Projects
Membership Of Loacl & International Authorities & Organizations
Participation In Local & International Conferences
Authoring & Publishing Books
Scientific Papers
Scientific Researches
Missions & Secondments
Abroad Scientific Messions
Missions
Secondments
Workshops
Adminstrative Jobs
Admintrative Posts
Structural Works
Community Service
Honoring Posts & Awards
Visitor Professor
Research Fields
قائمة الابحاث العلمية
Title
Message
JavaScript is disabled.
For customize this text use <NoJavaScript> element.
Facebook
Youtube
Sharing
No data was returned.
Membership
No data was returned.
Local & Global Conferences
No data was returned.
Books
No data was returned.
Scientific Papers
الاشراف على الرسائل العلمية
No data was returned.
مناقشة الرسائل العلمية
No data was returned.
Scientific Researches
RESEARCH TITLE
RESEARCH Details
On the interaction between knowledge and social commitments in multi-agent systems
المزيد
Verifying multi-agent-based Web service compositions regulated by commitment protocols
المزيد
Modeling and verifying choreographed multi-agent-based Web service compositions regulated by commitment protocols
المزيد
Conditional commitments: Reasoning and model checking
المزيد
Formal specification and automatic verification of conditional commitments
المزيد
Automatic transformation of cloud computing service composition to verifiable models
المزيد
SMC4AC: A new symbolic model checker for intelligent agent communication
المزيد
Specifying and verifying contract-driven service compositions using commitments and model checking
المزيد
Summery
Title
الخصائص الأجتماعية
Approval Date
Pages Number
1
2
3
4
5
6
7
8
9
10
...
Loading