A Fast Algebraic Web Verification Service.
María AlpuenteDemis BallisMoreno FalaschiPedro OjedaDaniel RomeroPublished in: RR (2007)
Keyphrases
- website
- web applications
- web pages
- mashup
- web data
- web documents
- service providers
- web technologies
- service oriented
- service discovery
- customer service
- composite services
- service systems
- web services
- web mining
- web users
- web environment
- web content
- semantic web
- information discovery
- end users
- protocol specification
- internet services
- computing environments
- web scale
- formal methods
- web resources
- model checking
- information sources
- information extraction
- metadata