1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2012★ 1 cited
Modeling and Verification of a Multi-Agent Argumentation System using NuSMV
Supriya D'Souza, Abhishek Rao, Amit Sharma +1
Autonomous intelligent agent research is a domain situated at the forefront of artificial intelligence. Interest-based negotiation (IBN) is a form of negotiation in which agents ex…
cs.LO2012
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Swaraj Bhat, Pradeep B. H, Keerthi S. Shetty +1
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe…
cs.CR2012
Ownership Authentication Transfer Protocol for Ubiquitous Computing Devices
radeep B. H, Sanjay Singh
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe…