Sciweavers

DBSEC
2000
94views Database» more  DBSEC 2000»
14 years 26 days ago
A Fair-exchange E-commerce Protocol with Automated Dispute Resolution
In this paper, we present a fair-exchange electronic commerce (e-commerce) protocol, based on using an online trusted third party, that ensures fairness and prevents any party fro...
Indrajit Ray, Indrakshi Ray, Natarajan Narasimhamu...
CAISE
2008
Springer
14 years 1 months ago
Validation of UML Conceptual Schemas with Operations
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
Anna Queralt, Ernest Teniente