Keyphrases
- data centric
- web services
- business processes
- formal verification
- colored petri nets
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- information management
- data management
- data driven
- high level
- data representation
- application development
- wireless sensor networks
- data storage
- information integration
- web applications
- data mining
- databases
- routing protocol
- semantic web services
- xml schema
- database
- building blocks
- data processing
- distributed systems
- domain knowledge
- data sets