On applying formal techniques to the development of hybrid services: challenges and directions.
Xavier LogeanFalk DietrichJean-Pierre HubauxS. GrisouardP.-A. EtiquePublished in: IEEE Commun. Mag. (1999)
Keyphrases
- information society
- service oriented
- enabling technologies
- knowledge based systems
- real world
- web services
- case study
- formal model
- service providers
- tourism industry
- paradigm shift
- communication technologies
- web technologies
- ubiquitous computing
- lessons learned
- knowledge management
- software engineering
- information systems
- information processing
- context aware
- end users
- user interface
- information technology
- future trends
- computing paradigms
- digital libraries