A class-based scheme for E-commerce web servers: Formal specification and performance evaluation.
D. R. W. HoltonIbtehal Talal NafeaMuhammad YounasIrfan-Ullah AwanPublished in: J. Netw. Comput. Appl. (2009)
Keyphrases
- formal specification
- web server
- model checking
- specification language
- specification languages
- website
- web pages
- object oriented design
- web search engines
- reverse engineering
- formal methods
- concurrent systems
- database server
- process algebra
- end users
- web browser
- software components
- search engine
- knowledge base
- internet search engines
- building blocks
- artificial intelligence
- web services
- web usage mining
- mobile agents
- cooperative
- case study