Keyphrases
- information technology
- error correction
- service providers
- information systems
- error correcting codes
- business process
- theorem prover
- theorem proving
- data integrity
- mathematical proofs
- equational theories
- formal proof
- collaborative tagging
- prior art
- risk management
- keywords
- rfid tags
- database design
- social annotations
- visual features
- web services
- social tagging
- process management
- databases
- logical operations
- data model